{"paper":{"title":"Program Repair by Stepwise Correctness Enhancement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.LO","cs.PL"],"primary_cat":"cs.SE","authors_text":"Ali Mili (NJIT, Nafi Diallo (NJIT, Newark NJ), Tunis, Tunisia), Wided Ghardallou (FST","submitted_at":"2016-06-01T23:59:02Z","abstract_excerpt":"Relative correctness is the property of a program to be more-correct than another with respect to a given specification.  Whereas the traditional definition of (absolute) correctness divides candidate program into two classes (correct, and incorrect), relative correctness arranges candidate programs on the richer structure of a partial ordering.  In other venues we discuss the impact of relative correctness on program derivation, and on program verification.  In this paper, we discuss the impact of relative correctness on program testing; specifically, we argue that when we remove a fault from"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00502","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}