C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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