Qlose: Program Repair with Quantitative Objectives
Abstract elided by the publisher.
Related papers
- Show Me Why It's Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison OOPSLA 2025
- Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools OOPSLA 2025
- Quantitative Multi-objective Verification for Probabilistic Systems TACAS 2011
- SemCluster: clustering of imperative programming assignments based on quantitative semantic features PLDI 2019
- Modular and verified automatic program repair OOPSLA 2012
- Better Quality in Synthesis through Quantitative Objectives CAV 2009
- Syntax-Guided Synthesis with Quantitative Syntactic Objectives CAV 2018
- Static determination of quantitative resource usage for higher-order programs POPL 2010