Results 241 to 250 of about 949,278 (287)
Directed Incremental Symbolic Execution [PDF]
ACM SIGPLAN Notices, 2011 The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and ...
Sarfraz Khurshid +2 more
exaly +7 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem.We present a novel approach to increase the efficiency of symbolic execution for ...
Junaid Haroon Siddiqui, Sarfraz Khurshid
openaire +1 more source
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem.We present a novel approach to increase the efficiency of symbolic execution for ...
Junaid Haroon Siddiqui, Sarfraz Khurshid
openaire +1 more source
Postconditioned Symbolic Execution
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015Symbolic execution is emerging as a powerful technique for generating test inputs systematically to achieve exhaustive path coverage of a bounded depth. However, its practical use is often limited by path explosion because the number of paths of a program can be exponential in the number of branch conditions encountered during the execution.
Qiuping Yi +5 more
openaire +2 more sources
Probabilistic symbolic execution
Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012The continued development of efficient automated decision procedures has spurred the resurgence of research on symbolic execution over the past decade. Researchers have applied symbolic execution to a wide range of software analysis problems including: checking programs against contract specifications, inferring bounds on worst-case execution ...
Jaco Geldenhuys +2 more
openaire +2 more sources
Differential symbolic execution
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008Detecting and characterizing the effects of software changes is a fundamental component of software maintenance. Version differencing information can be used to perform version merging, infer change characteristics, produce program documentation, and guide program re-validation.
Suzette Person +3 more
openaire +2 more sources
Grammar-agnostic symbolic execution by token symbolization
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021Parsing code exists extensively in software. Symbolic execution of complex parsing programs is challenging. The inputs generated by the symbolic execution using the byte-level symbolization are usually rejected by the parsing program, which dooms the effectiveness and efficiency of symbolic execution.
Weiyu Pan +5 more
openaire +1 more source