Multi-solver Support in Symbolic Execution.

Hristina Palikareva Cristian Cadar

Published in: SMT (2014)

Keyphrases

symbolic execution
knowledge management
distributed systems
static analysis
test generation
databases
neural network
case study
source code
orders of magnitude
test data generation