{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:5ICBA4CKQTV2MVASJTIW224X2H","short_pith_number":"pith:5ICBA4CK","schema_version":"1.0","canonical_sha256":"ea0410704a84eba654124cd16d6b97d1c8b085389456ce86a6c4502d32688e54","source":{"kind":"arxiv","id":"1807.00515","version":1},"attestation_state":"computed","paper":{"title":"Automatic Software Repair: a Bibliography","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.PL"],"primary_cat":"cs.SE","authors_text":"Martin Monperrus","submitted_at":"2018-07-02T08:09:28Z","abstract_excerpt":"This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contri"},"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":"1807.00515","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-02T08:09:28Z","cross_cats_sorted":["cs.CR","cs.PL"],"title_canon_sha256":"3477e78c408513d6d2fbe5567405114674e0b41e8e312dcc1e139a5914b03fa3","abstract_canon_sha256":"5d52891d69e0d36c6beedd5824520c1ea5ed552bf9412d3ded36f90be36240b8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:17:11.344573Z","signature_b64":"/Up7bq/IrU2zKvxbJPHLSWgnw/U1dgqbfBclW0HVzIUZYco97aMkzmGdFYf5VM4DL0maGTVm5RgH2z03b1zQBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea0410704a84eba654124cd16d6b97d1c8b085389456ce86a6c4502d32688e54","last_reissued_at":"2026-07-05T04:17:11.344156Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:17:11.344156Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automatic Software Repair: a Bibliography","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.PL"],"primary_cat":"cs.SE","authors_text":"Martin Monperrus","submitted_at":"2018-07-02T08:09:28Z","abstract_excerpt":"This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.00515","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/1807.00515/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":"1807.00515","created_at":"2026-07-05T04:17:11.344212+00:00"},{"alias_kind":"arxiv_version","alias_value":"1807.00515v1","created_at":"2026-07-05T04:17:11.344212+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.00515","created_at":"2026-07-05T04:17:11.344212+00:00"},{"alias_kind":"pith_short_12","alias_value":"5ICBA4CKQTV2","created_at":"2026-07-05T04:17:11.344212+00:00"},{"alias_kind":"pith_short_16","alias_value":"5ICBA4CKQTV2MVAS","created_at":"2026-07-05T04:17:11.344212+00:00"},{"alias_kind":"pith_short_8","alias_value":"5ICBA4CK","created_at":"2026-07-05T04:17:11.344212+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.17099","citing_title":"Software Delegation Contracts: Measuring Reviewability in AI Coding-Agent Work","ref_index":22,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H","json":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H.json","graph_json":"https://pith.science/api/pith-number/5ICBA4CKQTV2MVASJTIW224X2H/graph.json","events_json":"https://pith.science/api/pith-number/5ICBA4CKQTV2MVASJTIW224X2H/events.json","paper":"https://pith.science/paper/5ICBA4CK"},"agent_actions":{"view_html":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H","download_json":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H.json","view_paper":"https://pith.science/paper/5ICBA4CK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1807.00515&json=true","fetch_graph":"https://pith.science/api/pith-number/5ICBA4CKQTV2MVASJTIW224X2H/graph.json","fetch_events":"https://pith.science/api/pith-number/5ICBA4CKQTV2MVASJTIW224X2H/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H/action/storage_attestation","attest_author":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H/action/author_attestation","sign_citation":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H/action/citation_signature","submit_replication":"https://pith.science/pith/5ICBA4CKQTV2MVASJTIW224X2H/action/replication_record"}},"created_at":"2026-07-05T04:17:11.344212+00:00","updated_at":"2026-07-05T04:17:11.344212+00:00"}