CFAAR: Control Flow Alteration to Assist Repair.

Chadi Trad Rawad Abou Assi Wes Masri Fadi A. Zaraket

Published in: ISSRE Workshops (2018)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
reactive systems
transition systems
modeling language
user interface
business process models
data sets
knowledge management
formal semantics