Reconstructing Control Flow from Predicated Assembly Code.

Björn Decker Daniel Kästner

Published in: SCOPES (2003)

Keyphrases

control flow
data flow
process model
software testing
transition systems
business process models
modeling language
object oriented
workflow management systems
workflow processes
formal semantics
information technology
cooperative
memory hierarchy
multi agent
artificial intelligence
data sets