Results 181 to 190 of about 1,018,291 (234)
Some of the next articles are maybe not open access.
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 +1 more source
A bounded symbolic-size model for symbolic execution
ESEC/SIGSOFT FSE, 2021Symbolic execution is a powerful program analysis technique which allows executing programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of object sizes, that does not allow symbolic-size allocations.
David Trabish +2 more
semanticscholar +1 more source
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
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Path explosion and constraint solving are two challenges to symbolic execution's scalability. Symbolic execution explores the program's path space with a searching strategy and invokes the underlying constraint solver in a black-box manner to check the feasibility of a path. Inside the constraint solver, another searching procedure is employed to prove
Yufeng Zhang +5 more
openaire +1 more source
Path explosion and constraint solving are two challenges to symbolic execution's scalability. Symbolic execution explores the program's path space with a searching strategy and invokes the underlying constraint solver in a black-box manner to check the feasibility of a path. Inside the constraint solver, another searching procedure is employed to prove
Yufeng Zhang +5 more
openaire +1 more source
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 +1 more source
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 +2 more
semanticscholar +1 more source
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 +2 more
semanticscholar +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
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Conference on Computer and Communications Security, 2019Fuzzing and symbolic execution are two complementary techniques for discovering software vulnerabilities. Fuzzing is fast and scalable, but can be ineffective when it fails to randomly select the right inputs.
Jingxuan He +4 more
semanticscholar +1 more source
Python Symbolic Execution with LLM-powered Code Generation
arXiv.orgSymbolic 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 +6 more
semanticscholar +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 +1 more source