Login / Signup
Recording the control flow of parallel applications to determine iterative and phase-based behavior.
Karl Fürlinger
Shirley Moore
Published in:
Future Gener. Comput. Syst. (2010)
Keyphrases
</>
control flow
data flow
software testing
parallel processing
iterative process
process model
case study
business process models
databases
data structure
software engineering
error rate
workflow management systems
formal semantics