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]

 

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]