Partial control-flow linearization.

Simon Moll Sebastian Hack

Published in: PLDI (2018)

Keyphrases

control flow
data flow
process model
software testing
transition systems
workflow management systems
business process models
formal semantics
multi agent
decision trees
multi agent systems
modeling language
mixed integer
event logs
reactive systems