{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:SLC2F3V5OX4DC4OFAK7T7MPASZ","short_pith_number":"pith:SLC2F3V5","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"},"canonical_sha256":"92c5a2eebd75f83171c502bf3fb1e09653ff329deb14990a0e107a5edf8d4e70","source":{"kind":"arxiv","id":"1503.05807","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.05807","created_at":"2026-05-18T01:49:55Z"},{"alias_kind":"arxiv_version","alias_value":"1503.05807v2","created_at":"2026-05-18T01:49:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.05807","created_at":"2026-05-18T01:49:55Z"},{"alias_kind":"pith_short_12","alias_value":"SLC2F3V5OX4D","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SLC2F3V5OX4DC4OF","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SLC2F3V5","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:SLC2F3V5OX4DC4OFAK7T7MPASZ","target":"record","payload":{"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"},"canonical_sha256":"92c5a2eebd75f83171c502bf3fb1e09653ff329deb14990a0e107a5edf8d4e70","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"},"source_kind":"arxiv","source_id":"1503.05807","source_version":2,"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-18T01:49:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gkYGpNdfPcXRfj808/UFLLeuuUnjituXTIuoKKnztwifFeIMRwAcfeHNNQXpN3LY1qzLR+AkTjMie09jgSPBDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:07:49.783857Z"},"content_sha256":"3c09931633a0e01d882c3209dfeb8b5c1112fe716510ddb4525e38bc20fb6699","schema_version":"1.0","event_id":"sha256:3c09931633a0e01d882c3209dfeb8b5c1112fe716510ddb4525e38bc20fb6699"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:SLC2F3V5OX4DC4OFAK7T7MPASZ","target":"graph","payload":{"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"},"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-18T01:49:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Ifg7WKXKWMXfR9bivVQZVjXwKs6YtRY/ly5UIUEhXKApADESRJm7Z4Z32o/Kdvh5VCmP0mWLRyC58+lr+X9Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:07:49.784390Z"},"content_sha256":"1a76fb9d33a98a20b6b6c7dc6d067f5920fd61e7d8e675fbdea56349147c7744","schema_version":"1.0","event_id":"sha256:1a76fb9d33a98a20b6b6c7dc6d067f5920fd61e7d8e675fbdea56349147c7744"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/bundle.json","state_url":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/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-30T01:07:49Z","links":{"resolver":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ","bundle":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/bundle.json","state":"https://pith.science/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SLC2F3V5OX4DC4OFAK7T7MPASZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:SLC2F3V5OX4DC4OFAK7T7MPASZ","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":"7900135d1f4728398fdfe0fe8b4be19e5eefafbea7f05b6d85f1aedf1dd310b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-19T15:50:50Z","title_canon_sha256":"5ded95aab3ae21cdf28d2b750248b5a1ae55cbf5f0c9ca329836e7bdd052528e"},"schema_version":"1.0","source":{"id":"1503.05807","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.05807","created_at":"2026-05-18T01:49:55Z"},{"alias_kind":"arxiv_version","alias_value":"1503.05807v2","created_at":"2026-05-18T01:49:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.05807","created_at":"2026-05-18T01:49:55Z"},{"alias_kind":"pith_short_12","alias_value":"SLC2F3V5OX4D","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SLC2F3V5OX4DC4OF","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SLC2F3V5","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:1a76fb9d33a98a20b6b6c7dc6d067f5920fd61e7d8e675fbdea56349147c7744","target":"graph","created_at":"2026-05-18T01:49:55Z","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":"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","authors_text":"Benoit Baudry, Marcelino Rodriguez-Cancio, Martin Monperrus, Simon Allier","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-19T15:50:50Z","title":"DSpot: Test Amplification for Automatic Assessment of Computational Diversity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.05807","kind":"arxiv","version":2},"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:3c09931633a0e01d882c3209dfeb8b5c1112fe716510ddb4525e38bc20fb6699","target":"record","created_at":"2026-05-18T01:49:55Z","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":"7900135d1f4728398fdfe0fe8b4be19e5eefafbea7f05b6d85f1aedf1dd310b0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-19T15:50:50Z","title_canon_sha256":"5ded95aab3ae21cdf28d2b750248b5a1ae55cbf5f0c9ca329836e7bdd052528e"},"schema_version":"1.0","source":{"id":"1503.05807","kind":"arxiv","version":2}},"canonical_sha256":"92c5a2eebd75f83171c502bf3fb1e09653ff329deb14990a0e107a5edf8d4e70","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"92c5a2eebd75f83171c502bf3fb1e09653ff329deb14990a0e107a5edf8d4e70","first_computed_at":"2026-05-18T01:49:55.620777Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:49:55.620777Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tptIKDNMFXbT9e0XUFWk89jyxBuIxAnRxwrbMF1leKZKidj2ZVxg681X+gpkm6/WCfxj1iXybTT/e5gMCvl1DA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:49:55.621430Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.05807","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c09931633a0e01d882c3209dfeb8b5c1112fe716510ddb4525e38bc20fb6699","sha256:1a76fb9d33a98a20b6b6c7dc6d067f5920fd61e7d8e675fbdea56349147c7744"],"state_sha256":"cacaf7d71aacabc4b960b91356bd710859a31ebf3d3b7c8534199aede2d69198"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c6fkiGdL12iANil42MAu2fSRZqNxqSy9mQnMnijA0GTjTmcAN6sSe1Cgfua4jZ5EL7Wx9knNSPXt1vA71fZeAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T01:07:49.787465Z","bundle_sha256":"ed7afa1dd9c9bf3089948a99bc78945bdf3742827cf856e9b175c312ae27a77f"}}