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
International Symposium on Formal Methods, 593-611, 2016
202016
Incremental verification using trace abstraction
BC Rothenberg, D Dietsch, M Heizmann
International Static Analysis Symposium, 364-382, 2018
102018
Must fault localization for program repair
BC Rothenberg, O Grumberg
International Conference on Computer Aided Verification, 658-680, 2020
32020
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
The system can't perform the operation now. Try again later.
Articles 1–5