Results 231 to 240 of about 6,185 (261)

Symbolic execution with mixed concrete-symbolic solving

Proceedings of the 2011 International Symposium on Software Testing and Analysis, 2011
Symbolic 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. Pasareanu, Neha Rungta, Willem Visser   +2 more
openaire   +1 more source

Dynamic symbolic execution for polymorphism

Proceedings of the 26th International Conference on Compiler Construction, 2017
Symbolic execution is an important program analysis technique that provides auxiliary execution semantics to execute programs with symbolic rather than concrete values. There has been much recent interest in symbolic execution for automatic test case generation and security vulnerability detection, resulting in various tools being deployed in academia ...
Li, Lian, Lu, Yi, Xue, Jingling
openaire   +3 more sources

All-values symbolic execution

2012 7th International Workshop on Automation of Software Test (AST), 2012
This paper discusses and exemplifies our ideas on all-values symbolic execution, an alternative strategy to the traditional all-paths style of symbolic execution. All-values symbolic execution focuses on enumerating the (symbolic) values that may derive from the symbolic execution of program statements.
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 0002, Richard Bubel, Reiner Hähnle   +2 more
openaire   +1 more source

Symbolic router execution

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

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

Specification extraction by symbolic execution

2013 20th Working Conference on Reverse Engineering (WCRE), 2013
Technical software systems contain extensive and complex computations that are frequently implemented in an optimized and unstructured way. Computations are, therefore, hard to comprehend from source code. If no other documentation exists, it is a tedious endeavor to understand which input data impact on a particular computation and how a program does ...
openaire   +1 more source

Killing Stubborn Mutants with Symbolic Execution

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

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 0005, Zhenbang Chen, Ziqi Shuai   +3 more
openaire   +1 more source

Symbolic Execution

2013
Cristian Cadar, Koushik Sen
openaire   +1 more source