| Sound and complete mutation-based program repair BC Rothenberg, O Grumberg International Symposium on Formal Methods, 593-611, 2016 | 20 | 2016 |
| Incremental verification using trace abstraction BC Rothenberg, D Dietsch, M Heizmann International Static Analysis Symposium, 364-382, 2018 | 10 | 2018 |
| Must fault localization for program repair BC Rothenberg, O Grumberg International Conference on Computer Aided Verification, 658-680, 2020 | 3 | 2020 |
| Challenging the Stigma of Formal Program Repair BC Rothenberg 2021 IEEE/ACM International Workshop on Automated Program Repair (APR), 33-34, 2021 | | 2021 |
| Poster: Program Repair that Learns from Mistakes BC Rothenberg, O Grumberg 2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018 | | 2018 |
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
