Research papers:
Sound and Complete Mutation-Based Program Repair
Bat-Chen Rothenberg and Orna Grumberg
Formal Methods (FM) 2016
[pdf] [slides] [bibtex]
Incremental Verification Using Trace Abstraction
Bat-Chen Rothenberg, Daniel Dietsch and Matthias Heizmann
Static Analysis Symposium (SAS) 2018
[pdf] [Full Results Table][bibtex]
Must Fault Localization For Program Repair
Bat-Chen Rothenberg and Orna Grumberg
Computer Aided Verification (CAV) 2020
[pdf]
Posters:
Automated Program Repair
Bat-Chen Rothenberg and Orna Grumberg
Won second place on faculty research day 2017
[poster]
Program Repair That Learns From Mistakes
Bat-Chen Rothenberg and Orna Grumberg
International Conference on Software Engineering (ICSE) 2018
[poster] [extended abstract]