Login / Signup
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