Running symbolic execution forever.

Frank Busse Martin Nowack Cristian Cadar

Published in: ISSTA (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow