Publications

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]

Posters:


Won 2nd place on faculty reasrch dayAutomated 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]