TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).

Joxan Jaffar Rasool Maghareh Sangharatna Godboley Xuan-Linh Ha

Published in: FASE (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
real world
relational databases