Modeling Programs with Unstructured Control Flow for Debugging.

Wolfgang Mayer Markus Stumptner

Published in: Australian Joint Conference on Artificial Intelligence (2002)

Keyphrases

control flow
data flow
software testing
modeling language
reactive systems
business process models
process model
test cases
workflow management systems
transition systems
formal semantics
hardware designs
memory hierarchy
java programs
prolog programs
information technology
software engineering
relational databases