Automated Instantiation of Control Flow Tracing Exercises.

Clemens Eisenhofer Martin Riener

Published in: CoRR (2022)

Keyphrases

control flow
data flow
process model
software testing
workflow management systems
business process models
transition systems
reactive systems
formal semantics
modeling language
life cycle
business processes
process mining
real world
memory hierarchy
databases
database