Results 321 to 330 of about 970,866 (376)
Some of the next articles are maybe not open access.
Augmented dynamic symbolic execution
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012Dynamic symbolic execution (DSE) can efficiently explore all simple paths through a program, reliably determining whether there are any program crashes or violations of assertions or code contracts. However, if such automated oracles do not exist, the traditional approach is to present the developer a small and representative set of tests in order to ...
Konrad Jamrozik +3 more
openaire +1 more source
Boosting symbolic execution via constraint solving time prediction (experience paper)
International Symposium on Software Testing and Analysis, 2021Symbolic 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 +4 more
semanticscholar +1 more source
On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution
The Web Conference, 2021Symbolic execution has been widely applied in detecting vulnerabilities in web applications. Modeling language-specific built-in functions is essential for symbolic execution.
Penghui Li +3 more
semanticscholar +1 more source
Synthesize solving strategy for symbolic execution
International Symposium on Software Testing and Analysis, 2021Symbolic execution is powered by constraint solving. The advancement of constraint solving boosts the development and the applications of symbolic execution.
Zhenbang Chen +6 more
semanticscholar +1 more source
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
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
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
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