Taskflow-San: Sanitizing Erroneous Control Flow in Taskflow Graphs.

McKay Mower Luke Majors Tsung-Wei Huang

Published in: ESPM2@SC (2021)

Keyphrases

control flow
data flow
software testing
process model
modeling language
workflow management systems
reactive systems
transition systems
data sets
database systems
intelligent agents
formal semantics
information systems
relational databases
file system
memory hierarchy