Backward Symbolic Execution with Loop Folding.

Marek Chalupa Jan Strejcek

Published in: SAS (2021)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
case study
programming language
building blocks
software testing