Symbolic Execution of Acyclic Workflow Graphs.

Cédric Favre Hagen Völzer

Published in: BPM (2010)

Keyphrases

symbolic execution
data flow
test data generation
test generation
static analysis
source code
specification language
connected graphs
np hard
markov equivalence classes
programming language
petri net
data sets
formal specification
monitoring system
business process
np complete
training data
database systems
databases