Control-Flow Carrying Code.

Yan Lin Xiaoyang Cheng Debin Gao

Published in: AsiaCCS (2019)

Keyphrases

control flow
data flow
software testing
process model
reactive systems
modeling language
workflow management systems
transition systems
business process models
workflow processes
databases
temporal logic