PARTI: a multi-interval theory solver for symbolic execution.

Oscar Soria Dustmann Klaus Wehrle Cristian Cadar

Published in: ASE (2018)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
database
optimization algorithm
case study
source code
distributed systems
specification language