Bat-Chen Rothenberg

According to our database, Bat-Chen Rothenberg authored at least 9 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Condition Synthesis Realizability via Constrained Horn Clauses.

Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

SMT Sampling via Model-Guided Approximation.

Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Automated Program Repair Using Formal Verification Techniques.

Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald

Proceedings of the Principles of Systems Design, 2022

2021

Challenging the Stigma of Formal Program Repair.

Bat-Chen Rothenberg

Proceedings of the 2nd IEEE/ACM International Workshop on Automated Program Repair, 2021

2020

Formal Automated Program Repair.

Bat-Chen Rothenberg

PhD thesis, 2020

Must Fault Localization for Program Repair.

Bat-Chen Rothenberg, Orna Grumberg

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2018

Incremental Verification Using Trace Abstraction.

Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann

Proceedings of the Static Analysis - 25th International Symposium, 2018

Program repair that learns from mistakes.

Bat-Chen Rothenberg, Orna Grumberg

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2016

Sound and Complete Mutation-Based Program Repair.

Bat-Chen Rothenberg, Orna Grumberg

Proceedings of the FM 2016: Formal Methods, 2016