Multi-solver Support in Symbolic Execution.

Hristina Palikareva Cristian Cadar

Published in: CAV (2013)

Keyphrases

symbolic execution
neural network
knowledge management
databases
case study
general purpose
monitoring system
static analysis