A Unifying Approach for Control-Flow-Based Loop Abstraction.

Dirk Beyer Marian Lingsch Rosenfeld Martin Spiessl

Published in: SEFM (2022)

Keyphrases

control flow
data flow
process model
software testing
transition systems
workflow management systems
high level
reactive systems
business process models
decision making
modeling language
formal semantics
data sets
software development