{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:37CNVGZQBSNKFLDZ7ZTZRD2EEO","short_pith_number":"pith:37CNVGZQ","canonical_record":{"source":{"id":"1403.1117","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-03-05T13:32:09Z","cross_cats_sorted":[],"title_canon_sha256":"a27187e3d3d4c8ddf490fa59362a206f1d5db9d8d421f39db6823f33adfb8ccf","abstract_canon_sha256":"e8363724ea95e0775f19d1e0e135d4da6b725d893a74ecc3bca2b559394feefb"},"schema_version":"1.0"},"canonical_sha256":"dfc4da9b300c9aa2ac79fe67988f44239ffef89868355b5983fca3863c954761","source":{"kind":"arxiv","id":"1403.1117","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.1117","created_at":"2026-05-18T02:51:24Z"},{"alias_kind":"arxiv_version","alias_value":"1403.1117v3","created_at":"2026-05-18T02:51:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.1117","created_at":"2026-05-18T02:51:24Z"},{"alias_kind":"pith_short_12","alias_value":"37CNVGZQBSNK","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"37CNVGZQBSNKFLDZ","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"37CNVGZQ","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:37CNVGZQBSNKFLDZ7ZTZRD2EEO","target":"record","payload":{"canonical_record":{"source":{"id":"1403.1117","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-03-05T13:32:09Z","cross_cats_sorted":[],"title_canon_sha256":"a27187e3d3d4c8ddf490fa59362a206f1d5db9d8d421f39db6823f33adfb8ccf","abstract_canon_sha256":"e8363724ea95e0775f19d1e0e135d4da6b725d893a74ecc3bca2b559394feefb"},"schema_version":"1.0"},"canonical_sha256":"dfc4da9b300c9aa2ac79fe67988f44239ffef89868355b5983fca3863c954761","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:24.994632Z","signature_b64":"e4U8/Kld0RyZNYzc8P8hJzDxT9RoGQi7fOei42MfWeF9SNMRudkO6ajD7lJ2wLKTDlpEZdkjpN1KvDDmsIeWBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dfc4da9b300c9aa2ac79fe67988f44239ffef89868355b5983fca3863c954761","last_reissued_at":"2026-05-18T02:51:24.993967Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:24.993967Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.1117","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:51:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mNLzvMRxN7Rfo06jEzmLis5tDizQ7OSFE4+1B1dAWXS+mBmnu6Vyn0hHCHuPsdtbBoryovxwTRh/QFlp318BDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T15:35:44.931816Z"},"content_sha256":"ee66d963cc2fa0f22fb06a68aba8b0e5be955756144a72fa0bb68826271a9f4e","schema_version":"1.0","event_id":"sha256:ee66d963cc2fa0f22fb06a68aba8b0e5be955756144a72fa0bb68826271a9f4e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:37CNVGZQBSNKFLDZ7ZTZRD2EEO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Fixing of Programs with Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andreas Zeller, Bertrand Meyer, Carlo A. Furia, Martin Nordio, Yi Wei, Yu Pei","submitted_at":"2014-03-05T13:32:09Z","abstract_excerpt":"This paper describes AutoFix, an automatic debugging technique that can fix faults in general-purpose software. To provide high-quality fix suggestions and to enable automation of the whole debugging process, AutoFix relies on the presence of simple specification elements in the form of contracts (such as pre- and postconditions). Using contracts enhances the precision of dynamic analysis techniques for fault detection and localization, and for validating fixes. The only required user input to the AutoFix supporting tool is then a faulty program annotated with contracts; the tool produces a co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.1117","kind":"arxiv","version":3},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:51:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N0o4hB0NONOMEUfFrrKuDwaLFVtF32+K/Q5RgdlytuiN6TYrEhwoQ0bJn/6J/34tHHko/QYNeGVYELrSnScxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T15:35:44.932555Z"},"content_sha256":"3390d4026074dd0f98c27c36988ab63790068d498e3b4971b28399cd36a1b5aa","schema_version":"1.0","event_id":"sha256:3390d4026074dd0f98c27c36988ab63790068d498e3b4971b28399cd36a1b5aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/37CNVGZQBSNKFLDZ7ZTZRD2EEO/bundle.json","state_url":"https://pith.science/pith/37CNVGZQBSNKFLDZ7ZTZRD2EEO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/37CNVGZQBSNKFLDZ7ZTZRD2EEO/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-29T15:35:44Z","links":{"resolver":"https://pith.science/pith/37CNVGZQBSNKFLDZ7ZTZRD2EEO","bundle":"https://pith.science/pith/37CNVGZQBSNKFLDZ7ZTZRD2EEO/bundle.json","state":"https://pith.science/pith/37CNVGZQBSNKFLDZ7ZTZRD2EEO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/37CNVGZQBSNKFLDZ7ZTZRD2EEO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:37CNVGZQBSNKFLDZ7ZTZRD2EEO","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":"e8363724ea95e0775f19d1e0e135d4da6b725d893a74ecc3bca2b559394feefb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-03-05T13:32:09Z","title_canon_sha256":"a27187e3d3d4c8ddf490fa59362a206f1d5db9d8d421f39db6823f33adfb8ccf"},"schema_version":"1.0","source":{"id":"1403.1117","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.1117","created_at":"2026-05-18T02:51:24Z"},{"alias_kind":"arxiv_version","alias_value":"1403.1117v3","created_at":"2026-05-18T02:51:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.1117","created_at":"2026-05-18T02:51:24Z"},{"alias_kind":"pith_short_12","alias_value":"37CNVGZQBSNK","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"37CNVGZQBSNKFLDZ","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"37CNVGZQ","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:3390d4026074dd0f98c27c36988ab63790068d498e3b4971b28399cd36a1b5aa","target":"graph","created_at":"2026-05-18T02:51:24Z","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":"This paper describes AutoFix, an automatic debugging technique that can fix faults in general-purpose software. To provide high-quality fix suggestions and to enable automation of the whole debugging process, AutoFix relies on the presence of simple specification elements in the form of contracts (such as pre- and postconditions). Using contracts enhances the precision of dynamic analysis techniques for fault detection and localization, and for validating fixes. The only required user input to the AutoFix supporting tool is then a faulty program annotated with contracts; the tool produces a co","authors_text":"Andreas Zeller, Bertrand Meyer, Carlo A. Furia, Martin Nordio, Yi Wei, Yu Pei","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-03-05T13:32:09Z","title":"Automated Fixing of Programs with Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.1117","kind":"arxiv","version":3},"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:ee66d963cc2fa0f22fb06a68aba8b0e5be955756144a72fa0bb68826271a9f4e","target":"record","created_at":"2026-05-18T02:51:24Z","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":"e8363724ea95e0775f19d1e0e135d4da6b725d893a74ecc3bca2b559394feefb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-03-05T13:32:09Z","title_canon_sha256":"a27187e3d3d4c8ddf490fa59362a206f1d5db9d8d421f39db6823f33adfb8ccf"},"schema_version":"1.0","source":{"id":"1403.1117","kind":"arxiv","version":3}},"canonical_sha256":"dfc4da9b300c9aa2ac79fe67988f44239ffef89868355b5983fca3863c954761","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dfc4da9b300c9aa2ac79fe67988f44239ffef89868355b5983fca3863c954761","first_computed_at":"2026-05-18T02:51:24.993967Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:24.993967Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e4U8/Kld0RyZNYzc8P8hJzDxT9RoGQi7fOei42MfWeF9SNMRudkO6ajD7lJ2wLKTDlpEZdkjpN1KvDDmsIeWBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:24.994632Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.1117","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee66d963cc2fa0f22fb06a68aba8b0e5be955756144a72fa0bb68826271a9f4e","sha256:3390d4026074dd0f98c27c36988ab63790068d498e3b4971b28399cd36a1b5aa"],"state_sha256":"be4bc98c7f3def4c48aff000b61986030beeddeadfeaf3770e61d4168632a86a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qh81FAwqxhOFgLi+VYiDbayzGRweTFQEWYJeIdSN8oqkZrbHHTZehOA9gKXZGYlgGhGPY7R7qX+8h7vyYW7CBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T15:35:44.936564Z","bundle_sha256":"1701f069ccb45fe4c686910886a5f97b5c8cb880da17bb41b5de71a07355e864"}}