GI 2021
Sun 16 May - Sat 5 June 2021
co-located with ICSE 2021
Sun 30 May 2021 21:30 - 21:55 at GI Room - Session 2

Chemical reaction networks (CRNs) are abstractions of distributed networks that form the foundations of many natural phenomena such as biological processes. These can be encoded and/or compiled into DNA and have been shown to be Turing complete. Before CRNs are implemented in a physical environment, they are often simulated in programming environments. Like traditional programs, these CRN programs must be validated. Researchers have recently designed a software testing framework for CRNs, however, repairing CRN programs is still a manual task. While the programs are often small in size, finding and repairing the faults can be difficult without automated support. In this paper we present CRNRepair, a program repair framework for CRN programs. We built our framework on top of an existing APR framework. We use a testing infrastructure built in the Matlab SimBiology package and adapt it to use the SBML representation for its abstract syntax tree. In a case study on 19 mutant versions of 2 programs, we find plausible patches for 90% of one of the programs, and 50% of the other. We find several common types of repairs, which differ from the correct programs, but are functionally correct.

Sun 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

21:30 - 22:50
Session 2GI 2021 at GI Room
21:30
25m
Long-paper
CRNRepair: Automated Program Repair of Chemical Reaction Networks
GI 2021
Ibrahim Mesecan Iowa State University, Michael C. Gerten Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Tomas Haddad Caldas Catholic Pontifical University of Rio Grande do Sul
Pre-print Media Attached
21:55
10m
Short-paper
Applying Automated Program Repair to Dataflow Programming Languages
GI 2021
Yu Huang University of Michigan, Hammad Ahmad University of Michigan, Stephanie Forrest Arizona State University, Westley Weimer University of Michigan
Media Attached
22:05
25m
Long-paper
Generating Objected-Oriented Source Code Using Genetic Programming
GI 2021
Vicente Illanes Universidad de Chile, Alexandre Bergel University of Chile
Pre-print Media Attached
22:30
10m
Short-paper
Partial Specifications for Program Repair
GI 2021
Linsey Kitt Iowa State University, Myra Cohen Iowa State University
Pre-print Media Attached
22:40
10m
Short-paper
A Permutation Representation of Covering Arrays
GI 2021
Ryan Dougherty United States Military Academy, Xi Jiang Colgate University
Media Attached

Information for Participants
Sun 30 May 2021 21:30 - 22:50 at GI Room - Session 2
Info for room GI Room:

Go directly to this room on Clowdr