Follow
Bat-Chen Rothenberg
Bat-Chen Rothenberg
Computer Science Post-Doc Student at Technion University, Israel
Verified email at tx.technion.ac.il
Title
Cited by
Cited by
Year
Sound and complete mutation-based program repair
BC Rothenberg, O Grumberg
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
342016
Incremental verification using trace abstraction
BC Rothenberg, D Dietsch, M Heizmann
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
272018
Must fault localization for program repair
BC Rothenberg, O Grumberg
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
132020
SMT sampling via model-guided approximation
MI Peled, BC Rothenberg, S Itzhaky
International Symposium on Formal Methods, 74-91, 2023
22023
Condition synthesis realizability via constrained horn clauses
BC Rothenberg, O Grumberg, Y Vizel, E Singher
NASA Formal Methods Symposium, 380-396, 2023
12023
Automated Program Repair Using Formal Verification Techniques
H Frenkel, O Grumberg, BC Rothenberg, S Sheinvald
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
12022
Check for updates Condition Synthesis Realizability via Constrained Horn Clauses
BC Rothenberg, O Grumberg, Y Vizel, E Singher
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX …, 2023
2023
Challenging the Stigma of Formal Program Repair
BC Rothenberg
2021 IEEE/ACM International Workshop on Automated Program Repair (APR), 33-34, 2021
2021
Program repair that learns from mistakes
BC Rothenberg, O Grumberg
Proceedings of the 40th International Conference on Software Engineering …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–9