Bat-Chen Rothenberg

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 9

Top Topics

Formal Verification

Data Abstraction

Incremental Algorithms

Top Venues

ICSE (Companion Volume)

Publications

Bat-Chen Rothenberg, Orna Grumberg, Yakir Vizel, Eytan Singher
Condition Synthesis Realizability via Constrained Horn Clauses. NFM (2023)
Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky
SMT Sampling via Model-Guided Approximation. FM (2023)
Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald
Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design (2022)
Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky
SMT Sampling via Model-Guided Approximation. CoRR (2022)
Bat-Chen Rothenberg
Challenging the Stigma of Formal Program Repair. APR@ICSE (2021)
Bat-Chen Rothenberg, Orna Grumberg
Must Fault Localization for Program Repair. CAV (2) (2020)
Bat-Chen Rothenberg, Orna Grumberg
Program repair that learns from mistakes. ICSE (Companion Volume) (2018)
Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann
Incremental Verification Using Trace Abstraction. SAS (2018)
Bat-Chen Rothenberg, Orna Grumberg
Sound and Complete Mutation-Based Program Repair. FM (2016)