IEEE - Institute of Electrical and Electronics Engineers, Inc. - New Approach to Path Explosion Problem of Symbolic Execution

2010 First International Conference on Pervasive Computing, Signal Processing and Applications (PCSPA 2010)

Author(s): Xu Xiao ; Xiao-song Zhang ; Xiong-da Li
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2010
Conference Location: Harbin, China, China
Conference Date: 17 September 2010
Page(s): 301 - 304
ISBN (CD): 978-0-7695-4180-8
ISBN (Paper): 978-1-4244-8043-2
DOI: 10.1109/PCSPA.2010.80
Regular:

This paper is dedicated to the study of Symbolic Execution and improves the core algorithm of it using Heuristic learning, search and Function Abstraction to effectively address the path explosion... View More

Advertisement