{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:SLC2F3V5OX4DC4OFAK7T7MPASZ","short_pith_number":"pith:SLC2F3V5","schema_version":"1.0","canonical_sha256":"92c5a2eebd75f83171c502bf3fb1e09653ff329deb14990a0e107a5edf8d4e70","source":{"kind":"arxiv","id":"1503.05807","version":2},"attestation_state":"computed","paper":{"title":"DSpot: Test Amplification for Automatic Assessment of Computational Diversity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Benoit Baudry, Marcelino Rodriguez-Cancio, Martin Monperrus, Simon Allier","submitted_at":"2015-03-19T15:50:50Z","abstract_excerpt":"Context: Computational diversity, i.e., the presence of a set of programs that all perform compatible services but that exhibit behavioral differences under certain conditions, is essential for fault tolerance and security. Objective: We aim at proposing an approach for automatically assessing the presence of computational diversity. In this work, computationally diverse variants are defined as (i) sharing the same API, (ii) behaving the same according to an input-output based specification (a test-suite) and (iii) exhibiting observable differences when they run outside the specified input spa"},"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":"1503.05807","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-19T15:50:50Z","cross_cats_sorted":[],"title_canon_sha256":"5ded95aab3ae21cdf28d2b750248b5a1ae55cbf5f0c9ca329836e7bdd052528e","abstract_canon_sha256":"7900135d1f4728398fdfe0fe8b4be19e5eefafbea7f05b6d85f1aedf1dd310b0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:49:55.621430Z","signature_b64":"tptIKDNMFXbT9e0XUFWk89jyxBuIxAnRxwrbMF1leKZKidj2ZVxg681X+gpkm6/WCfxj1iXybTT/e5gMCvl1DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"92c5a2eebd75f83171c502bf3fb1e09653ff329deb14990a0e107a5edf8d4e70","last_reissued_at":"2026-05-18T01:49:55.620777Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:49:55.620777Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DSpot: Test Amplification for Automatic Assessment of Computational Diversity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Benoit Baudry, Marcelino Rodriguez-Cancio, Martin Monperrus, Simon Allier","submitted_at":"2015-03-19T15:50:50Z","abstract_excerpt":"Context: Computational diversity, i.e., the presence of a set of programs that all perform compatible services but that exhibit behavioral differences under certain conditions, is essential for fault tolerance and security. Objective: We aim at proposing an approach for automatically assessing the presence of computational diversity. In this work, computationally diverse variants are defined as (i) sharing the same API, (ii) behaving the same according to an input-output based specification (a test-suite) and (iii) exhibiting observable differences when they run outside the specified input spa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.05807","kind":"arxiv","version":2},"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":"1503.05807","created_at":"2026-05-18T01:49:55.620896+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.05807v2","created_at":"2026-05-18T01:49:55.620896+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.05807","created_at":"2026-05-18T01:49:55.620896+00:00"},{"alias_kind":"pith_short_12","alias_value":"SLC2F3V5OX4D","created_at":"2026-05-18T12:29:42.218222+00:00"},{"alias_kind":"pith_short_16","alias_value":"SLC2F3V5OX4DC4OF","created_at":"2026-05-18T12:29:42.218222+00:00"},{"alias_kind":"pith_short_8","alias_value":"SLC2F3V5","created_at":"2026-05-18T12:29:42.218222+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/SLC2F3V5OX4DC4OFAK7T7MPASZ","json":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ.json","graph_json":"https://pith.science/api/pith-number/SLC2F3V5OX4DC4OFAK7T7MPASZ/graph.json","events_json":"https://pith.science/api/pith-number/SLC2F3V5OX4DC4OFAK7T7MPASZ/events.json","paper":"https://pith.science/paper/SLC2F3V5"},"agent_actions":{"view_html":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ","download_json":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ.json","view_paper":"https://pith.science/paper/SLC2F3V5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.05807&json=true","fetch_graph":"https://pith.science/api/pith-number/SLC2F3V5OX4DC4OFAK7T7MPASZ/graph.json","fetch_events":"https://pith.science/api/pith-number/SLC2F3V5OX4DC4OFAK7T7MPASZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/action/storage_attestation","attest_author":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/action/author_attestation","sign_citation":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/action/citation_signature","submit_replication":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/action/replication_record"}},"created_at":"2026-05-18T01:49:55.620896+00:00","updated_at":"2026-05-18T01:49:55.620896+00:00"}