Results 341 to 350 of about 970,866 (376)
Some of the next articles are maybe not open access.
Symbolic execution with mixed concrete-symbolic solving
Proceedings of the 2011 International Symposium on Software Testing and Analysis, 2011Symbolic execution is a powerful static program analysis technique that has been used for the automated generation of test inputs. Directed Automated Random Testing (DART) is a dynamic variant of symbolic execution that initially uses random values to execute a program and collects symbolic path conditions during the execution.
Corina S. Păsăreanu +2 more
openaire +1 more source
Visualizing Unbounded Symbolic Execution
2014We present an approach for representing and visualizing all possible symbolic execution paths of a program. This is achieved by integrating method contracts and loop invariants into a symbolic execution engine and rendering them visually in a suitable manner.
Martin Hentschel +2 more
openaire +1 more source
EvoSE: evolutionary symbolic execution
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, 2015Search Based Software Testing (SBST) and Symbolic Execution (SE) have emerged as the most effective among the fully automated test input generation techniques. However, none of the two techniques satisfactorily solves the problem of generating test cases that exercise specific code elements, as it is required for example in security vulnerability ...
openaire +1 more source
SolSEE: a source-level symbolic execution engine for solidity
ESEC/SIGSOFT FSE, 2022Shang-Wei Lin +3 more
semanticscholar +1 more source
2016
Symbolic execution, a standard technique in program analysis, is a particularly successful and popular component in systems for test-case generation. One of the open research problems is that the approach suffers from the path-explosion problem. We apply abstraction to symbolic execution, and refine the abstract model using counterexample-guided ...
Dirk Beyer, Thomas Lemberger
openaire +1 more source
Symbolic execution, a standard technique in program analysis, is a particularly successful and popular component in systems for test-case generation. One of the open research problems is that the approach suffers from the path-explosion problem. We apply abstraction to symbolic execution, and refine the abstract model using counterexample-guided ...
Dirk Beyer, Thomas Lemberger
openaire +1 more source
Symbolic Execution Debugger (SED)
2014We present the Symbolic Execution Debugger for sequential Java programs. Being based on symbolic execution, its functionality goes beyond that of traditional interactive debuggers. For instance, debugging can start directly at any method or statement and all program execution paths are explored simultaneously.
Martin Hentschel +2 more
openaire +1 more source
Symbolic execution and testing
Information and Software Technology, 1991Abstract Symbolic execution has several applications mainly in the validation of software. It may be used in the generation of test data, in program proving, and in program reduction. The paper is a tutorial on symbolic execution and how it may be used in software testing and in particular the testing of commercial data-processing (DP) software.
openaire +1 more source
Advances in Symbolic Execution
2019Abstract Symbolic execution is a systematic technique for checking programs, which forms a basis for various software testing and verification techniques. It provides a powerful analysis in principle but remains challenging to scale and generalize symbolic execution in practice.
Guowei Yang +4 more
openaire +1 more source