conf.researchr.org / Bat-Chen Rothenberg
Registered user since Sun 8 Nov 2020
Name:Bat-Chen Rothenberg
Country:Israel
Affiliation:Technion
Personal website: https://batg.cswp.cs.technion.ac.il/
Research interests:Program repair, testing, fault localization, formal verification, formal methods
Contributions