More Like this

1. Program Repair for Hyperproperties

   https://doi.org/10.1007/978-3-030-31784-3_25  

   Bonakdarpour, Borzoo; Finkbeiner, Bernd (October 2019, Automated Technology for Verification and Analysis (ATVA))
2. Automated model repair for Alloy

   https://doi.org/10.1145/3238147.3238162  

   Wang, Kaiyuan; Sullivan, Allison; Khurshid, Sarfraz (January 2018, 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE))
3. Partial Specifications for Program Repair

   https://doi.org/10.1109/GI52543.2021.00012  

   Kitt, Linsey; Cohen, Myra B. (June 2021, IEEE/ACM International Workshop on Genetic Improvement (GI))

   null (Ed.)

   In this paper we argue for using many partial test suites instead of one full test suite during program repair. This may provide a pool of simpler, yet correct patches, addressing both the overfitting and poor repair quality problem. To support this idea, we present some insight obtained running APR partial test suites on the well studied triangle program. 

   more » « less
4. Automatic Repair for Network Programs

   https://doi.org/10.1007/978-3-030-99527-0_19  

   Shi, Lei; Wang, Yuepeng; Alur, Rajeev; Loo, Boon Thau (April 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022)
5. Folding‐upon‐Repair DNA Nanoswitches for Monitoring the Activity of DNA Repair Enzymes

   https://doi.org/10.1002/ange.202016223  

   Farag, Nada; Mattossovich, Rosanna; Merlo, Rosa; Nierzwicki, Łukasz; Palermo, Giulia; Porchetta, Alessandro; Perugino, Giuseppe; Ricci, Francesco (February 2021, Angewandte Chemie)

   Abstract We present a new class of DNA‐based nanoswitches that, upon enzymatic repair, could undergo a conformational change mechanism leading to a change in fluorescent signal. Such folding‐upon‐repair DNA nanoswitches are synthetic DNA sequences containingO⁶‐methyl‐guanine (O⁶‐MeG) nucleobases and labelled with a fluorophore/quencher optical pair. The nanoswitches are rationally designed so that only upon enzymatic demethylation of theO⁶‐MeG nucleobases they can form stable intramolecular Hoogsteen interactions and fold into an optically active triplex DNA structure. We have first characterized the folding mechanism induced by the enzymatic repair activity through fluorescent experiments and Molecular Dynamics simulations. We then demonstrated that the folding‐upon‐repair DNA nanoswitches are suitable and specific substrates for different methyltransferase enzymes including the human homologue (hMGMT) and they allow the screening of novel potential methyltransferase inhibitors. 

   more » « less