Program Repair as a Game
Abstract elided by the publisher.
Related papers
- A constraint-based approach to solving games on infinite graphs POPL 2014
- Non-Zero-Sum Games with Multiple Weighted Objectives TACAS 2025
- Program Repair without Regret CAV 2013
- Removing Anti Dependences by Repairing CC 1996
- A Type-Directed Approach to Program Repair CAV 2015
- Contract-Based Data Structure Repair Using Alloy ECOOP 2010
- Qlose: Program Repair with Quantitative Objectives CAV 2016
- Repairing Decision-Making Programs Under Uncertainty CAV 2017