{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:FBUZCPHFVJ2GQZX2DJFKADA6IQ","short_pith_number":"pith:FBUZCPHF","schema_version":"1.0","canonical_sha256":"2869913ce5aa746866fa1a4aa00c1e443a7560c7a5e93c2500bc7af82554d977","source":{"kind":"arxiv","id":"2211.12787","version":1},"attestation_state":"computed","paper":{"title":"Program Repair","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Abhik Roychoudhury, Xiang Gao, Yannic Noller","submitted_at":"2022-11-23T09:04:45Z","abstract_excerpt":"Automated program repair is an emerging technology which consists of a suite of techniques to automatically fix bugs or vulnerabilities in programs. In this paper, we present a comprehensive survey of the state of the art in program repair. We first study the different suite of techniques used including search based repair, constraint based repair and learning based repair. We then discuss one of the main challenges in program repair namely patch overfitting, by distilling a class of techniques which can alleviate patch overfitting. We then discuss classes of program repair tools, applications"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2211.12787","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-11-23T09:04:45Z","cross_cats_sorted":[],"title_canon_sha256":"3bf0bb8628b34f7f9efc27f348bc481c1fa90d28ee7d30e4b81f92566d71878e","abstract_canon_sha256":"b79f88acace301d2c93465aedb779efc613f393a8d8224c71ce64ccf07040453"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:18:55.141662Z","signature_b64":"46EPMYFMVWZBaiVC/qyYNpcQOqpJmY7NItlAGwDQI3EZsW25t2pI1vKZynBMkTfMm8VPqNMvRuzH6w9txv67DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2869913ce5aa746866fa1a4aa00c1e443a7560c7a5e93c2500bc7af82554d977","last_reissued_at":"2026-07-05T05:18:55.141240Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:18:55.141240Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Program Repair","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Abhik Roychoudhury, Xiang Gao, Yannic Noller","submitted_at":"2022-11-23T09:04:45Z","abstract_excerpt":"Automated program repair is an emerging technology which consists of a suite of techniques to automatically fix bugs or vulnerabilities in programs. In this paper, we present a comprehensive survey of the state of the art in program repair. We first study the different suite of techniques used including search based repair, constraint based repair and learning based repair. We then discuss one of the main challenges in program repair namely patch overfitting, by distilling a class of techniques which can alleviate patch overfitting. We then discuss classes of program repair tools, applications"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.12787","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2211.12787/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2211.12787","created_at":"2026-07-05T05:18:55.141302+00:00"},{"alias_kind":"arxiv_version","alias_value":"2211.12787v1","created_at":"2026-07-05T05:18:55.141302+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.12787","created_at":"2026-07-05T05:18:55.141302+00:00"},{"alias_kind":"pith_short_12","alias_value":"FBUZCPHFVJ2G","created_at":"2026-07-05T05:18:55.141302+00:00"},{"alias_kind":"pith_short_16","alias_value":"FBUZCPHFVJ2GQZX2","created_at":"2026-07-05T05:18:55.141302+00:00"},{"alias_kind":"pith_short_8","alias_value":"FBUZCPHF","created_at":"2026-07-05T05:18:55.141302+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.13182","citing_title":"From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs","ref_index":17,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ","json":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ.json","graph_json":"https://pith.science/api/pith-number/FBUZCPHFVJ2GQZX2DJFKADA6IQ/graph.json","events_json":"https://pith.science/api/pith-number/FBUZCPHFVJ2GQZX2DJFKADA6IQ/events.json","paper":"https://pith.science/paper/FBUZCPHF"},"agent_actions":{"view_html":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ","download_json":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ.json","view_paper":"https://pith.science/paper/FBUZCPHF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2211.12787&json=true","fetch_graph":"https://pith.science/api/pith-number/FBUZCPHFVJ2GQZX2DJFKADA6IQ/graph.json","fetch_events":"https://pith.science/api/pith-number/FBUZCPHFVJ2GQZX2DJFKADA6IQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ/action/storage_attestation","attest_author":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ/action/author_attestation","sign_citation":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ/action/citation_signature","submit_replication":"https://pith.science/pith/FBUZCPHFVJ2GQZX2DJFKADA6IQ/action/replication_record"}},"created_at":"2026-07-05T05:18:55.141302+00:00","updated_at":"2026-07-05T05:18:55.141302+00:00"}