TracerX: Dynamic Symbolic Execution with Interpolation.

Joxan Jaffar Rasool Maghareh Sangharatna Godboley Xuan-Linh Ha

Published in: CoRR (2020)

Keyphrases

symbolic execution
artificial intelligence
static analysis
test generation
test data generation
data sets
web services
software engineering
source code
specification language