Login / Signup
Change-driven Incremental Symbolic Execution of Evolving State Machines.
Amal Khalil
Published in:
SRC@MoDELS (2015)
Keyphrases
</>
state machines
symbolic execution
state machine
test data generation
petri net
source code
static analysis
test generation
specification language
recurrent networks
database
neural network
hidden markov models
test cases
fault tolerant
data flow