{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SWFYF4HKMY7EJCCQZYHCCL34ZW","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d3f3bcd32a2a4e961a1d59648ceb42c105f38b4af9662c9c859d23f4b8108b77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-01T09:55:30Z","title_canon_sha256":"58d6a4c07dcc92ab98fdb87c72c9d75715e7a8b55bbc0e841330c147d9631d1b"},"schema_version":"1.0","source":{"id":"1703.00198","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.00198","created_at":"2026-05-18T00:49:45Z"},{"alias_kind":"arxiv_version","alias_value":"1703.00198v1","created_at":"2026-05-18T00:49:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.00198","created_at":"2026-05-18T00:49:45Z"},{"alias_kind":"pith_short_12","alias_value":"SWFYF4HKMY7E","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SWFYF4HKMY7EJCCQ","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SWFYF4HK","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:c53b2ec051e7108e1866f69503ed7e517a2657b8ee5435290e3f00f42ad0ae0a","target":"graph","created_at":"2026-05-18T00:49:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair. Test-suites are in essence input-output specifications and are therefore typically inadequate for completely specifying the expected behavior of the program under repair. Consequently, the patches generated by test suite based program repair techniques pass the test suite, yet may be incorrect. Patches that are overly specific to the used test suite and fail to generalize to other test cases are called overfitting patches. In this paper, we investigate the fea","authors_text":"Benjamin Danglot, Martin Monperrus, Matias Martinez, Thomas Durieux, Zhongxing Yu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-01T09:55:30Z","title":"Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.00198","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7c246a9f26a05bbee809b952eaf256a642a389bd5028154a7c77e4865ea9ea53","target":"record","created_at":"2026-05-18T00:49:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d3f3bcd32a2a4e961a1d59648ceb42c105f38b4af9662c9c859d23f4b8108b77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-01T09:55:30Z","title_canon_sha256":"58d6a4c07dcc92ab98fdb87c72c9d75715e7a8b55bbc0e841330c147d9631d1b"},"schema_version":"1.0","source":{"id":"1703.00198","kind":"arxiv","version":1}},"canonical_sha256":"958b82f0ea663e448850ce0e212f7ccd9d8ad20561cde002ee87203335f5cb94","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"958b82f0ea663e448850ce0e212f7ccd9d8ad20561cde002ee87203335f5cb94","first_computed_at":"2026-05-18T00:49:45.634819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:45.634819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U9fy0rSgwqDs68AehgaF0IWWP/Ecmsr5oddb3RKAry99oh17qGiDjtmXFVV5gnC2Wd+ixWO8KDBlrkHBb+w2Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:45.635596Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.00198","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c246a9f26a05bbee809b952eaf256a642a389bd5028154a7c77e4865ea9ea53","sha256:c53b2ec051e7108e1866f69503ed7e517a2657b8ee5435290e3f00f42ad0ae0a"],"state_sha256":"d591c4c84c0de8bdaa55a0f1d7ca8e68da96451683b50efeedf30fba01785290"}