Results 261 to 270 of about 949,278 (287)
Some of the next articles are maybe not open access.
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 0002 +2 more
openaire +2 more sources
Specification extraction by symbolic execution
2013 20th Working Conference on Reverse Engineering (WCRE), 2013Technical 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 +2 more sources
Selective Symbolization Based Efficient Symbolic Execution
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021Yang Liu +3 more
openaire +2 more sources
Benchmarking the Capability of Symbolic Execution Tools With Logic Bombs
IEEE Transactions on Dependable and Secure Computing, 2020Michael R. Lyu, Yangfan Zhou, Hui Xu
exaly
Killing Stubborn Mutants With Symbolic Execution
ACM Transactions on Software Engineering and Methodology, 2021Maxime Cordy +2 more
exaly
Directed Incremental Symbolic Execution
ACM Transactions on Software Engineering and Methodology, 2014Guowei Yang +2 more
exaly