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 …

Symbolic execution is a powerful program analysis and testing technique. Symbolic
execution engines are usually implemented as interpreters, and the induced interpretation …

Ensuring the correctness of programmable data planes is important. Testing offers
comprehensive correctness checking, including detecting both code bugs and non-code …

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

Symbolic execution is a powerful, systematic analysis that has received much visibility in the
last decade. Scalability however remains a major challenge for symbolic execution …

Forward symbolic execution is a powerful systematic software analysis technique, but suffers
from the high cost of constraint solving. During symbolic execution, off-the-shelf constraint …

Symbolic execution is a powerful systematic technique for checking programs, which has
received a lot of research attention during the last decade. In practice however, the …

The focus of this tutorial is white-box test case generation (TCG) based on symbolic
execution. Symbolic execution consists in executing a program with the contents of its input …

Satisfiability Modulo Theories (SMT) solving is a fundamental tool in numerous areas of
computer science, where problems are expressed as logical formulas whose satisfiability …

Symbolic execution is a systematic technique for checking programs, which has received a
lot of research attention during the last decade. In principle, symbolic execution provides a …