Applying Automated Program Repair to Dataflow Programming Languages

Dataflow programming languages are used in a variety of settings, and defects in their programs can have serious consequences. However, prior work in automated program repair (APR) emphasizes control flow over dataflow languages. We identify three impediments to the use of APR in dataflow programming—parallelism, state, and evaluation—and highlight opportunities for overcoming them.

Yu Huang (University of Michigan), Hammad Ahmad (University of Michigan), Stephanie Forrest (Arizona State University), Westley Weimer (University of Michigan),