Incremental symbolic execution of evolving state machines.

Amal Khalil Juergen Dingel

Published in: MoDELS (2015)

Keyphrases

state machines
symbolic execution
state machine
test generation
petri net
test data generation
specification language
static analysis
source code
recurrent networks
data flow
database
reactive systems
sequence diagrams
programming language
learning algorithm
description language
web services