Alternating Control Flow Reconstruction.

Johannes Kinder Dmitry Kravchenko

Published in: VMCAI (2012)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
three dimensional
business process models
image reconstruction
reconstruction method
transition systems
modeling language
reactive systems
test cases
software engineering
cooperative
training data
information systems