Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Challenging the Stigma of Formal Program Repair | 0 | 0.34 | 2021 |
| Incremental Verification Using Trace Abstraction. | 4 | 0.40 | 2018 |
| Program repair that learns from mistakes. | 0 | 0.34 | 2018 |
| Sound and Complete Mutation-Based Program Repair. | 4 | 0.53 | 2016 |