Static and Dynamic Analyses of Programs with Implicit Control Flow.

Mary Jean Harrold

Published in: WCRE (2004)

Keyphrases

control flow
data flow
process model
software testing
transition systems
workflow management systems
formal semantics
reactive systems
prolog programs
artificial intelligence
modeling language
business process models
high level
data sets
cooperative