Sound and complete mutation-based program repair BC Rothenberg, O Grumberg FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 34 | 2016 |
Incremental verification using trace abstraction BC Rothenberg, D Dietsch, M Heizmann Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 27 | 2018 |
Must fault localization for program repair BC Rothenberg, O Grumberg Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 13 | 2020 |
SMT sampling via model-guided approximation MI Peled, BC Rothenberg, S Itzhaky International Symposium on Formal Methods, 74-91, 2023 | 2 | 2023 |
Condition synthesis realizability via constrained horn clauses BC Rothenberg, O Grumberg, Y Vizel, E Singher NASA Formal Methods Symposium, 380-396, 2023 | 1 | 2023 |
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 | 1 | 2022 |
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 |