Bat-Chen Rothenberg
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| SMT sampling via model-guided approximation Formal Methods | 2023-08-17 | Paper |
| Automated program repair using formal verification techniques Lecture Notes in Computer Science | 2023-08-10 | Paper |
| Incremental verification using trace abstraction Static Analysis | 2023-05-26 | Paper |
| Must fault localization for program repair | 2021-02-09 | Paper |
| Sound and complete mutation-based program repair | 2020-01-03 | Paper |
Research outcomes over time
This page was built for person: Bat-Chen Rothenberg
