Symbolic execution is a powerful technique for systematically exploring the paths of a
program and generating the corresponding test inputs. However, its practical usage is often …

Symbolic execution is a promising testing and analysis methodology. It systematically
explores a program's execution space and can generate test cases with high coverage. One …

Symbolic execution is a powerful program analysis technique that systematically explores
multiple program paths. However, despite important technical advances, symbolic execution …

Symbolic execution is emerging as a powerful technique for generating test inputs
systematically to achieve exhaustive path coverage of a bounded depth. However, its …

This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for
symbolic execution of multiple paths that is more scalable than existing techniques, which …

With the advent of advanced program analysis and constraint solving techniques, several
test generation tools use variants of symbolic execution. Symbolic techniques have been …

This paper introduces a novel approach to scale symbolic execution---a program analysis
technique for systematic exploration of bounded execution paths---for test input generation …

Incremental symbolic execution addresses the scalability problem of symbolic execution by
concentrating on incremental behaviors that are introduced by the changes during program …

Dynamic Symbolic Execution (DSE) is a technique to automatically generate test inputs by
executing a program with concrete and symbolic values simultaneously. A key challenge in …

Symbolic execution is powered by constraint solving. The advancement of constraint solving
boosts the development and the applications of symbolic execution. Modern SMT solvers …