Sound and Complete Mutation-Based Program Repair. - Bat-Chen Rothenberg; Orna Grumberg (FM, 2016)

Program repair that learns from mistakes. - Bat-Chen Rothenberg; Orna Grumberg (ICSE (Companion Volume), 2018)

Incremental Verification Using Trace Abstraction. - Bat-Chen Rothenberg; Daniel Dietsch; Matthias Heizmann (SAS, 2018)

Must Fault Localization for Program Repair. - Bat-Chen Rothenberg; Orna Grumberg (CAV (2), 2020)

Formal Automated Program Repair. - Bat-Chen Rothenberg (2020)

Challenging the Stigma of Formal Program Repair. - Bat-Chen Rothenberg (APR@ICSE, 2021)

Automated Program Repair Using Formal Verification Techniques. - Hadar Frenkel; Orna Grumberg; Bat-Chen Rothenberg; Sarai Sheinvald (Principles of Systems Design, 2022)

SMT Sampling via Model-Guided Approximation. - Matan Peled; Bat-Chen Rothenberg; Shachar Itzhaky (FM, 2023)

Condition Synthesis Realizability via Constrained Horn Clauses. - Bat-Chen Rothenberg; Orna Grumberg; Yakir Vizel; Eytan Singher (NFM, 2023)