Login / Signup
Applying SMT in symbolic execution of microcode.
Anders Franzén
Alessandro Cimatti
Alexander Nadel
Roberto Sebastiani
Jonathan Shalev
Published in:
FMCAD (2010)
Keyphrases
</>
symbolic execution
test data generation
static analysis
specification language
test generation
source code
neural network
real world
multi objective
data flow
search algorithm
query language
general purpose
knowledge management
monitoring system