{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:O7JKZ5FE6O27T2FGN6N272D7NB","short_pith_number":"pith:O7JKZ5FE","canonical_record":{"source":{"id":"1509.00144","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-01T05:11:56Z","cross_cats_sorted":[],"title_canon_sha256":"7a3394e2c61aeec0385f494f51601f173979a06ffe1ba84d00868c53eb6cb2a7","abstract_canon_sha256":"37259851f43ad2bd63ebffb5bf438eb69d2be10882b251f32b8f9cf1f5860500"},"schema_version":"1.0"},"canonical_sha256":"77d2acf4a4f3b5f9e8a66f9bafe87f68734377a28078dcbc6cddbedd03be9c16","source":{"kind":"arxiv","id":"1509.00144","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.00144","created_at":"2026-05-17T23:57:33Z"},{"alias_kind":"arxiv_version","alias_value":"1509.00144v3","created_at":"2026-05-17T23:57:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.00144","created_at":"2026-05-17T23:57:33Z"},{"alias_kind":"pith_short_12","alias_value":"O7JKZ5FE6O27","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"O7JKZ5FE6O27T2FG","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"O7JKZ5FE","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:O7JKZ5FE6O27T2FGN6N272D7NB","target":"record","payload":{"canonical_record":{"source":{"id":"1509.00144","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-01T05:11:56Z","cross_cats_sorted":[],"title_canon_sha256":"7a3394e2c61aeec0385f494f51601f173979a06ffe1ba84d00868c53eb6cb2a7","abstract_canon_sha256":"37259851f43ad2bd63ebffb5bf438eb69d2be10882b251f32b8f9cf1f5860500"},"schema_version":"1.0"},"canonical_sha256":"77d2acf4a4f3b5f9e8a66f9bafe87f68734377a28078dcbc6cddbedd03be9c16","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:33.258413Z","signature_b64":"nI+btyzx4YBb61/cOAKfdv7TVzCmuTSx6INGAhFRid5NQVdV1Mk88xdn3oy7I5Xs8IB8MrTxgQuMjnVOvCbcAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77d2acf4a4f3b5f9e8a66f9bafe87f68734377a28078dcbc6cddbedd03be9c16","last_reissued_at":"2026-05-17T23:57:33.257908Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:33.257908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.00144","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-17T23:57:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S7lzXI08plMzfH2lXSnYmweNFEarKkSal8irL2aL9NZ/fFv+S3+rzO9Z1BwUyAy3AcegybY4pGBAVkw9xhp0Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T09:09:11.498382Z"},"content_sha256":"90ca7520d0cd354c2543f589833f79683efd62b5088f0ebbb29cafa550461d20","schema_version":"1.0","event_id":"sha256:90ca7520d0cd354c2543f589833f79683efd62b5088f0ebbb29cafa550461d20"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:O7JKZ5FE6O27T2FGN6N272D7NB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic Software Diversity in the Light of Test Suites","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-09-01T05:11:56Z","abstract_excerpt":"A few works address the challenge of automating software diversification, and they all share one core idea: using automated test suites to drive diversification. However, there is is lack of solid understanding of how test suites, programs and transformations interact one with another in this process. We explore this intricate interplay in the context of a specific diversification technique called \"sosiefication\". Sosiefication generates sosie programs, i.e., variants of a program in which some statements are deleted, added or replaced but still pass the test suite of the original program. Our"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.00144","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-17T23:57:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HN+t3GkFX1Neu9ND+fZ+SsvzX1iEOgUrkxkFvPS2+o47lkUtdXwYPmYRrV/oRiG6K6Y5qOQRHWLwW85tVxxyBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T09:09:11.499042Z"},"content_sha256":"b752d27c0d73a86a3224d6a1758270b02e0685c08e892bbfda9772e01a349e43","schema_version":"1.0","event_id":"sha256:b752d27c0d73a86a3224d6a1758270b02e0685c08e892bbfda9772e01a349e43"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O7JKZ5FE6O27T2FGN6N272D7NB/bundle.json","state_url":"https://pith.science/pith/O7JKZ5FE6O27T2FGN6N272D7NB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O7JKZ5FE6O27T2FGN6N272D7NB/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-06-06T09:09:11Z","links":{"resolver":"https://pith.science/pith/O7JKZ5FE6O27T2FGN6N272D7NB","bundle":"https://pith.science/pith/O7JKZ5FE6O27T2FGN6N272D7NB/bundle.json","state":"https://pith.science/pith/O7JKZ5FE6O27T2FGN6N272D7NB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O7JKZ5FE6O27T2FGN6N272D7NB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:O7JKZ5FE6O27T2FGN6N272D7NB","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":"37259851f43ad2bd63ebffb5bf438eb69d2be10882b251f32b8f9cf1f5860500","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-01T05:11:56Z","title_canon_sha256":"7a3394e2c61aeec0385f494f51601f173979a06ffe1ba84d00868c53eb6cb2a7"},"schema_version":"1.0","source":{"id":"1509.00144","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.00144","created_at":"2026-05-17T23:57:33Z"},{"alias_kind":"arxiv_version","alias_value":"1509.00144v3","created_at":"2026-05-17T23:57:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.00144","created_at":"2026-05-17T23:57:33Z"},{"alias_kind":"pith_short_12","alias_value":"O7JKZ5FE6O27","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"O7JKZ5FE6O27T2FG","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"O7JKZ5FE","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:b752d27c0d73a86a3224d6a1758270b02e0685c08e892bbfda9772e01a349e43","target":"graph","created_at":"2026-05-17T23:57:33Z","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":"A few works address the challenge of automating software diversification, and they all share one core idea: using automated test suites to drive diversification. However, there is is lack of solid understanding of how test suites, programs and transformations interact one with another in this process. We explore this intricate interplay in the context of a specific diversification technique called \"sosiefication\". Sosiefication generates sosie programs, i.e., variants of a program in which some statements are deleted, added or replaced but still pass the test suite of the original program. Our","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-09-01T05:11:56Z","title":"Automatic Software Diversity in the Light of Test Suites"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.00144","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:90ca7520d0cd354c2543f589833f79683efd62b5088f0ebbb29cafa550461d20","target":"record","created_at":"2026-05-17T23:57:33Z","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":"37259851f43ad2bd63ebffb5bf438eb69d2be10882b251f32b8f9cf1f5860500","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-09-01T05:11:56Z","title_canon_sha256":"7a3394e2c61aeec0385f494f51601f173979a06ffe1ba84d00868c53eb6cb2a7"},"schema_version":"1.0","source":{"id":"1509.00144","kind":"arxiv","version":3}},"canonical_sha256":"77d2acf4a4f3b5f9e8a66f9bafe87f68734377a28078dcbc6cddbedd03be9c16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77d2acf4a4f3b5f9e8a66f9bafe87f68734377a28078dcbc6cddbedd03be9c16","first_computed_at":"2026-05-17T23:57:33.257908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:57:33.257908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nI+btyzx4YBb61/cOAKfdv7TVzCmuTSx6INGAhFRid5NQVdV1Mk88xdn3oy7I5Xs8IB8MrTxgQuMjnVOvCbcAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:57:33.258413Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.00144","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90ca7520d0cd354c2543f589833f79683efd62b5088f0ebbb29cafa550461d20","sha256:b752d27c0d73a86a3224d6a1758270b02e0685c08e892bbfda9772e01a349e43"],"state_sha256":"736f681613f6f8a45d38ee77d3f40d938c7400fb6fb0ffd868fcc71e266a544d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lie2Sl6i0KMsIZTgdPHea0cFJqgck/x+/Ep3UOUbMh1n6T0Vu6tK/9+wzpBHTZ3+OPYl6C7cDcLyzHcZexRADg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T09:09:11.502521Z","bundle_sha256":"98e1b3f15bd49aa9f8ffc4ee93478319bb8d8d0437c17f8c9f26a5bc9c613114"}}