{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:QNEJQ24GJGCJZZS4TEOZUF7CSR","short_pith_number":"pith:QNEJQ24G","canonical_record":{"source":{"id":"1108.1068","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-04T12:38:29Z","cross_cats_sorted":[],"title_canon_sha256":"88661f648c006f8be720522f69c8ae72f26e420109270f4af3de927b77ce53ab","abstract_canon_sha256":"a4e3079121edc5df196c1241584e6f97f1d7e86a6c9ccc3fedad3c3e7c2ab14a"},"schema_version":"1.0"},"canonical_sha256":"8348986b8649849ce65c991d9a17e294798acf427cc0adda330bacea1e2a1fbd","source":{"kind":"arxiv","id":"1108.1068","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.1068","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"arxiv_version","alias_value":"1108.1068v2","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.1068","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"pith_short_12","alias_value":"QNEJQ24GJGCJ","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QNEJQ24GJGCJZZS4","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QNEJQ24G","created_at":"2026-05-18T12:26:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:QNEJQ24GJGCJZZS4TEOZUF7CSR","target":"record","payload":{"canonical_record":{"source":{"id":"1108.1068","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-04T12:38:29Z","cross_cats_sorted":[],"title_canon_sha256":"88661f648c006f8be720522f69c8ae72f26e420109270f4af3de927b77ce53ab","abstract_canon_sha256":"a4e3079121edc5df196c1241584e6f97f1d7e86a6c9ccc3fedad3c3e7c2ab14a"},"schema_version":"1.0"},"canonical_sha256":"8348986b8649849ce65c991d9a17e294798acf427cc0adda330bacea1e2a1fbd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:06.611438Z","signature_b64":"3L2DRfh3n4ZJKyuPofCeuvWF+B6HUX3sznTFtcfuFB5s0H5D/fipg/u0STctJSyx0mLUG0NqCtEoF3+flQEODQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8348986b8649849ce65c991d9a17e294798acf427cc0adda330bacea1e2a1fbd","last_reissued_at":"2026-05-18T03:16:06.610894Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:06.610894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.1068","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-18T03:16:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OlsrezplCpM7E5cByvlXSSAdCYCzx86FGHXae3td82lMGIvYkQb2i03Xns871NQVCZjQ4Q7Jv+bHdYSwGohACQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T15:37:33.373374Z"},"content_sha256":"98ceaab9840b38ce8d36d8a79c076728ab684dc8b3a0e6c2d99886a410dee973","schema_version":"1.0","event_id":"sha256:98ceaab9840b38ce8d36d8a79c076728ab684dc8b3a0e6c2d99886a410dee973"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:QNEJQ24GJGCJZZS4TEOZUF7CSR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stateful Testing: Finding More Errors in Code and Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Horton, Bertrand Meyer, Carlo A. Furia, Hannes Roth, Martin Nordio, Michael Steindorfer, Yi Wei, Yu Pei","submitted_at":"2011-08-04T12:38:29Z","abstract_excerpt":"Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many faults and find them quickly. Stateful testing, the automated testing technique introduced in this article, generates new test cases that improve an existing test suite. The generated test cases are designed to violate the dynamically inferred contracts (invariants) characterizing the existing test suite. As a consequence, they are in a good position to detect new errors, and also to improve the accuracy of the inferred"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.1068","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-18T03:16:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xK+kQzq02VGPpdg0X814fFD7IUTbsYNOE9qLjPEyHl0+rwIJ59QOYy/peo/lyY1TqtOFwO4nQI+rSTDQrsTFAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T15:37:33.373717Z"},"content_sha256":"c9f53d4526bf25dac70dd551d2734846df00fbb3ee4ea6c0512b3eddbdc13e0a","schema_version":"1.0","event_id":"sha256:c9f53d4526bf25dac70dd551d2734846df00fbb3ee4ea6c0512b3eddbdc13e0a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QNEJQ24GJGCJZZS4TEOZUF7CSR/bundle.json","state_url":"https://pith.science/pith/QNEJQ24GJGCJZZS4TEOZUF7CSR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QNEJQ24GJGCJZZS4TEOZUF7CSR/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-07-01T15:37:33Z","links":{"resolver":"https://pith.science/pith/QNEJQ24GJGCJZZS4TEOZUF7CSR","bundle":"https://pith.science/pith/QNEJQ24GJGCJZZS4TEOZUF7CSR/bundle.json","state":"https://pith.science/pith/QNEJQ24GJGCJZZS4TEOZUF7CSR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QNEJQ24GJGCJZZS4TEOZUF7CSR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:QNEJQ24GJGCJZZS4TEOZUF7CSR","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":"a4e3079121edc5df196c1241584e6f97f1d7e86a6c9ccc3fedad3c3e7c2ab14a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-04T12:38:29Z","title_canon_sha256":"88661f648c006f8be720522f69c8ae72f26e420109270f4af3de927b77ce53ab"},"schema_version":"1.0","source":{"id":"1108.1068","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.1068","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"arxiv_version","alias_value":"1108.1068v2","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.1068","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"pith_short_12","alias_value":"QNEJQ24GJGCJ","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"QNEJQ24GJGCJZZS4","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"QNEJQ24G","created_at":"2026-05-18T12:26:39Z"}],"graph_snapshots":[{"event_id":"sha256:c9f53d4526bf25dac70dd551d2734846df00fbb3ee4ea6c0512b3eddbdc13e0a","target":"graph","created_at":"2026-05-18T03:16:06Z","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":"Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many faults and find them quickly. Stateful testing, the automated testing technique introduced in this article, generates new test cases that improve an existing test suite. The generated test cases are designed to violate the dynamically inferred contracts (invariants) characterizing the existing test suite. As a consequence, they are in a good position to detect new errors, and also to improve the accuracy of the inferred","authors_text":"Alexander Horton, Bertrand Meyer, Carlo A. Furia, Hannes Roth, Martin Nordio, Michael Steindorfer, Yi Wei, Yu Pei","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-04T12:38:29Z","title":"Stateful Testing: Finding More Errors in Code and Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.1068","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:98ceaab9840b38ce8d36d8a79c076728ab684dc8b3a0e6c2d99886a410dee973","target":"record","created_at":"2026-05-18T03:16:06Z","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":"a4e3079121edc5df196c1241584e6f97f1d7e86a6c9ccc3fedad3c3e7c2ab14a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-08-04T12:38:29Z","title_canon_sha256":"88661f648c006f8be720522f69c8ae72f26e420109270f4af3de927b77ce53ab"},"schema_version":"1.0","source":{"id":"1108.1068","kind":"arxiv","version":2}},"canonical_sha256":"8348986b8649849ce65c991d9a17e294798acf427cc0adda330bacea1e2a1fbd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8348986b8649849ce65c991d9a17e294798acf427cc0adda330bacea1e2a1fbd","first_computed_at":"2026-05-18T03:16:06.610894Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:06.610894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3L2DRfh3n4ZJKyuPofCeuvWF+B6HUX3sznTFtcfuFB5s0H5D/fipg/u0STctJSyx0mLUG0NqCtEoF3+flQEODQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:06.611438Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.1068","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98ceaab9840b38ce8d36d8a79c076728ab684dc8b3a0e6c2d99886a410dee973","sha256:c9f53d4526bf25dac70dd551d2734846df00fbb3ee4ea6c0512b3eddbdc13e0a"],"state_sha256":"75a3a4a5c10a37b391fc43af5a56c6897670fa595fe75f73cbe022b18ace9a5a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PQtg8Tl72fxdx4DSMJQqt7XJjs/4NPqNpj0/J88PSVUl2y2xRPcr7v4/lmzqgR3UtI08DIIdACpTsHqnnbo0AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T15:37:33.375567Z","bundle_sha256":"36f4569c3d10519d40535dbdd5b56aaf75077b16d9cd942c1d562a2d321fc7c0"}}