Results 261 to 270 of about 211,276 (289)

Visualizing Unbounded Symbolic Execution

2014
We 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, Reiner Hähnle, Richard Bubel   +2 more
openaire   +1 more source

EvoSE: evolutionary symbolic execution

Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, 2015
Search 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

Symbolic Execution with CEGAR

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 Debugger (SED)

2014
We 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, Richard Bubel, Reiner Hähnle   +2 more
openaire   +1 more source

Symbolic router execution

Proceedings of the ACM SIGCOMM 2022 Conference, 2022
Peng Zhang, Dan Wang, Aaron Gember-Jacobson   +2 more
openaire   +1 more source

Advances in Symbolic Execution

2019
Abstract 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, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen   +4 more
openaire   +1 more source

Symbolic Execution

2013
Cristian Cadar, Koushik Sen
openaire   +1 more source

Selective Symbolization Based Efficient Symbolic Execution

2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021
Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai   +3 more
openaire   +1 more source

Killing Stubborn Mutants with Symbolic Execution

ACM Transactions on Software Engineering and Methodology, 2021
Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon   +2 more
exaly  

Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs

IEEE Transactions on Dependable and Secure Computing, 2020
Hui Xu, Yangfan Zhou
exaly