Results 291 to 300 of about 842,701 (337)

Postconditioned Symbolic Execution

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015
Symbolic 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, Zijiang Yang 0006, Shengjian Guo, Chao Wang 0001, Jian Liu 0008, Chen Zhao   +5 more
openaire   +1 more source

Boosting symbolic execution via constraint solving time prediction (experience paper)

International Symposium on Software Testing and Analysis, 2021
Symbolic execution is an essential approach for automated test case generation. However, the approach is generally not scalable to large programs. One critical reason is that the constraint solving problems in symbolic execution are generally hard ...
Sicheng Luo, Hui Xu, Yanxiang Bi, Xin Wang, Yangfan Zhou   +4 more
semanticscholar   +1 more source

On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution

The Web Conference, 2021
Symbolic execution has been widely applied in detecting vulnerabilities in web applications. Modeling language-specific built-in functions is essential for symbolic execution.
Penghui Li, W. Meng, Kangjie Lu, Changhua Luo   +3 more
semanticscholar   +1 more source

Probabilistic symbolic execution

Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012
The 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, Matthew B. Dwyer, Willem Visser   +2 more
openaire   +1 more source

Large Language Model Powered Symbolic Execution

Proc. ACM Program. Lang.
Large Language Models (LLMs) have emerged as a promising alternative to traditional static program analysis methods, such as symbolic execution, offering the ability to reason over code directly without relying on theorem provers or SMT solvers. However,
Yihe Li, Ruijie Meng, Gregory J. Duck
semanticscholar   +1 more source

Differential symbolic execution

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, 2008
Detecting 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, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu   +3 more
openaire   +1 more source

Grammar-agnostic symbolic execution by token symbolization

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
Parsing 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, Zhenbang Chen, Guofeng Zhang 0005, Yunlai Luo, Yufeng Zhang 0001, Ji Wang 0001   +5 more
openaire   +1 more source

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation

International Conference on Information Control Systems & Technologies
Generating tests automatically is a key and ongoing area of focus in software engineering research. The emergence of Large Language Models (LLMs) has opened up new op-portunities, given their ability to perform a wide spectrum of tasks.
A. Abdullin, P. Derakhshanfar, Annibale Panichella   +2 more
semanticscholar   +1 more source

Python Symbolic Execution with LLM-powered Code Generation

arXiv.org
Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers.
Wenhan Wang, Kaibo Liu, An Ran Chen, Ge Li, Zhi Jin, Gang Huang, Lei Ma   +6 more
semanticscholar   +1 more source

Symbolic execution with abstraction

International Journal on Software Tools for Technology Transfer, 2008
We address the problem of error detection for programs that take recursive data structures and arrays as input. Previously we proposed a combination of symbolic execution and model checking for the analysis of such programs: we put a bound on the size of the program inputs and/or the search depth of the model checker to limit the search state space ...
Anand S, Pasareanu CS, Visser W
openaire   +1 more source