CFAAR: Control Flow Alteration to Assist Repair.

Chadi Trad Rawad Abou Assi Wes Masri Fadi A. Zaraket

Published in: CoRR (2018)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
formal semantics
reactive systems
transition systems
multi agent