{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:MUYUJMV5HUUQFLFE76P34XWQ2M","short_pith_number":"pith:MUYUJMV5","schema_version":"1.0","canonical_sha256":"653144b2bd3d2902aca4ff9fbe5ed0d306881115311c22d976f9db93916962ce","source":{"kind":"arxiv","id":"1401.0191","version":1},"attestation_state":"computed","paper":{"title":"Reasoning and Improving on Software Resilience against Unanticipated Exceptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Benoit Cornu (INRIA Lille - Nord Europe), IUF), LIFL, Lionel Seinturier (INRIA Lille - Nord Europe, Martin Monperrus (INRIA Lille - Nord Europe)","submitted_at":"2013-12-31T17:10:11Z","abstract_excerpt":"In software, there are the errors anticipated at specification and design time, those encountered at development and testing time, and those that happen in production mode yet never anticipated. In this paper, we aim at reasoning on the ability of software to correctly handle unanticipated exceptions. We propose an algorithm, called short-circuit testing, which injects exceptions during test suite execution so as to simulate unanticipated errors. This algorithm collects data that is used as input for verifying two formal exception contracts that capture two resilience properties. Our evaluatio"},"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":"1401.0191","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-12-31T17:10:11Z","cross_cats_sorted":[],"title_canon_sha256":"34a448a75b8bdb22b3299ff0e2ccae13e82731d2948e522be3da4d030a45582f","abstract_canon_sha256":"30363607557bbc0533a235027a28e287fbcccacfe845db957770fcfd2fd07c18"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:30.794199Z","signature_b64":"XSDmjDorgmjkMWIuhTzxA9zFnagL2Ld4tmG287PPemOD+4ogLm0JS0emonHaAbQEyFGfX9SZDwLurLknCwCACQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"653144b2bd3d2902aca4ff9fbe5ed0d306881115311c22d976f9db93916962ce","last_reissued_at":"2026-05-18T03:03:30.793684Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:30.793684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reasoning and Improving on Software Resilience against Unanticipated Exceptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Benoit Cornu (INRIA Lille - Nord Europe), IUF), LIFL, Lionel Seinturier (INRIA Lille - Nord Europe, Martin Monperrus (INRIA Lille - Nord Europe)","submitted_at":"2013-12-31T17:10:11Z","abstract_excerpt":"In software, there are the errors anticipated at specification and design time, those encountered at development and testing time, and those that happen in production mode yet never anticipated. In this paper, we aim at reasoning on the ability of software to correctly handle unanticipated exceptions. We propose an algorithm, called short-circuit testing, which injects exceptions during test suite execution so as to simulate unanticipated errors. This algorithm collects data that is used as input for verifying two formal exception contracts that capture two resilience properties. Our evaluatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.0191","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1401.0191","created_at":"2026-05-18T03:03:30.793775+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.0191v1","created_at":"2026-05-18T03:03:30.793775+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.0191","created_at":"2026-05-18T03:03:30.793775+00:00"},{"alias_kind":"pith_short_12","alias_value":"MUYUJMV5HUUQ","created_at":"2026-05-18T12:27:52.871228+00:00"},{"alias_kind":"pith_short_16","alias_value":"MUYUJMV5HUUQFLFE","created_at":"2026-05-18T12:27:52.871228+00:00"},{"alias_kind":"pith_short_8","alias_value":"MUYUJMV5","created_at":"2026-05-18T12:27:52.871228+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M","json":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M.json","graph_json":"https://pith.science/api/pith-number/MUYUJMV5HUUQFLFE76P34XWQ2M/graph.json","events_json":"https://pith.science/api/pith-number/MUYUJMV5HUUQFLFE76P34XWQ2M/events.json","paper":"https://pith.science/paper/MUYUJMV5"},"agent_actions":{"view_html":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M","download_json":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M.json","view_paper":"https://pith.science/paper/MUYUJMV5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.0191&json=true","fetch_graph":"https://pith.science/api/pith-number/MUYUJMV5HUUQFLFE76P34XWQ2M/graph.json","fetch_events":"https://pith.science/api/pith-number/MUYUJMV5HUUQFLFE76P34XWQ2M/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M/action/storage_attestation","attest_author":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M/action/author_attestation","sign_citation":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M/action/citation_signature","submit_replication":"https://pith.science/pith/MUYUJMV5HUUQFLFE76P34XWQ2M/action/replication_record"}},"created_at":"2026-05-18T03:03:30.793775+00:00","updated_at":"2026-05-18T03:03:30.793775+00:00"}