Sound and complete mutation-based program repair BC Rothenberg, O Grumberg International Symposium on Formal Methods, 593-611, 2016 | 25 | 2016 |
Incremental verification using trace abstraction BC Rothenberg, D Dietsch, M Heizmann International Static Analysis Symposium, 364-382, 2018 | 15 | 2018 |
Must fault localization for program repair BC Rothenberg, O Grumberg International Conference on Computer Aided Verification, 658-680, 2020 | 6 | 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 |