{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZDDXVRL3KHGUZ4SPT4JVYC7WWG","short_pith_number":"pith:ZDDXVRL3","canonical_record":{"source":{"id":"1812.07525","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-18T17:46:42Z","cross_cats_sorted":[],"title_canon_sha256":"d3cfbfee3c49aa5850c59ff55da657fee36deffb9c881122c1831136c6dab5ac","abstract_canon_sha256":"45304419f707c985f71904009b99df79b86616357617d6eda45c5e86bdc3b748"},"schema_version":"1.0"},"canonical_sha256":"c8c77ac57b51cd4cf24f9f135c0bf6b188729537a3050cae43d3c074b471b800","source":{"kind":"arxiv","id":"1812.07525","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.07525","created_at":"2026-05-17T23:57:56Z"},{"alias_kind":"arxiv_version","alias_value":"1812.07525v2","created_at":"2026-05-17T23:57:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.07525","created_at":"2026-05-17T23:57:56Z"},{"alias_kind":"pith_short_12","alias_value":"ZDDXVRL3KHGU","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"ZDDXVRL3KHGUZ4SP","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"ZDDXVRL3","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZDDXVRL3KHGUZ4SPT4JVYC7WWG","target":"record","payload":{"canonical_record":{"source":{"id":"1812.07525","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-18T17:46:42Z","cross_cats_sorted":[],"title_canon_sha256":"d3cfbfee3c49aa5850c59ff55da657fee36deffb9c881122c1831136c6dab5ac","abstract_canon_sha256":"45304419f707c985f71904009b99df79b86616357617d6eda45c5e86bdc3b748"},"schema_version":"1.0"},"canonical_sha256":"c8c77ac57b51cd4cf24f9f135c0bf6b188729537a3050cae43d3c074b471b800","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:56.638475Z","signature_b64":"b2IjDgBUzws8uruHV8WnVtnteaceLKL8jvIITVadfKWcDx7ZNsSmplTlUkIL5Fkiv2vgafuFJlNundicGWiPDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8c77ac57b51cd4cf24f9f135c0bf6b188729537a3050cae43d3c074b471b800","last_reissued_at":"2026-05-17T23:57:56.637944Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:56.637944Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.07525","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-17T23:57:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MMarIPJrlq8j0hoO7/WE4IYVVy0Zse/Vj9q5mDnUOctAX/86PYkC9JzK2KoKC9vOdYVwHfxCsSH5k5RD7AUpAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:22:58.569958Z"},"content_sha256":"962e8a9a319757b3df0d97a82f3142d7de09bebc42bbee15629bfd563a505242","schema_version":"1.0","event_id":"sha256:962e8a9a319757b3df0d97a82f3142d7de09bebc42bbee15629bfd563a505242"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZDDXVRL3KHGUZ4SPT4JVYC7WWG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inputs from Hell: Generating Uncommon Inputs from Common Samples","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andreas Zeller, Esteban Pavese, Ezekiel Soremekun, Lars Grunske, Nikolas Havrikov","submitted_at":"2018-12-18T17:46:42Z","abstract_excerpt":"Generating structured input files to test programs can be performed by techniques that produce them from a grammar that serves as the specification for syntactically correct input files. Two interesting scenarios then arise for effective testing. In the first scenario, software engineers would like to generate inputs that are as similar as possible to the inputs in common usage of the program, to test the reliability of the program. More interesting is the second scenario where inputs should be as dissimilar as possible from normal usage. This is useful for robustness testing and exploring yet"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.07525","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-17T23:57:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ufYsE9OZFlrqQ9w6kgzcYjv6E4xzO2FPVhFcMF81zEnZB6mlQ8k1tD+mzD4mQAfYYrvv/RUopYJ7O93/FXiMAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:22:58.570604Z"},"content_sha256":"b2fe4161aa80e1b878e93212a29be0e8cfac253c1ef5433f245e1a271ed607bf","schema_version":"1.0","event_id":"sha256:b2fe4161aa80e1b878e93212a29be0e8cfac253c1ef5433f245e1a271ed607bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZDDXVRL3KHGUZ4SPT4JVYC7WWG/bundle.json","state_url":"https://pith.science/pith/ZDDXVRL3KHGUZ4SPT4JVYC7WWG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZDDXVRL3KHGUZ4SPT4JVYC7WWG/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-26T21:22:58Z","links":{"resolver":"https://pith.science/pith/ZDDXVRL3KHGUZ4SPT4JVYC7WWG","bundle":"https://pith.science/pith/ZDDXVRL3KHGUZ4SPT4JVYC7WWG/bundle.json","state":"https://pith.science/pith/ZDDXVRL3KHGUZ4SPT4JVYC7WWG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZDDXVRL3KHGUZ4SPT4JVYC7WWG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZDDXVRL3KHGUZ4SPT4JVYC7WWG","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":"45304419f707c985f71904009b99df79b86616357617d6eda45c5e86bdc3b748","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-18T17:46:42Z","title_canon_sha256":"d3cfbfee3c49aa5850c59ff55da657fee36deffb9c881122c1831136c6dab5ac"},"schema_version":"1.0","source":{"id":"1812.07525","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.07525","created_at":"2026-05-17T23:57:56Z"},{"alias_kind":"arxiv_version","alias_value":"1812.07525v2","created_at":"2026-05-17T23:57:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.07525","created_at":"2026-05-17T23:57:56Z"},{"alias_kind":"pith_short_12","alias_value":"ZDDXVRL3KHGU","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"ZDDXVRL3KHGUZ4SP","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"ZDDXVRL3","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:b2fe4161aa80e1b878e93212a29be0e8cfac253c1ef5433f245e1a271ed607bf","target":"graph","created_at":"2026-05-17T23:57:56Z","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":"Generating structured input files to test programs can be performed by techniques that produce them from a grammar that serves as the specification for syntactically correct input files. Two interesting scenarios then arise for effective testing. In the first scenario, software engineers would like to generate inputs that are as similar as possible to the inputs in common usage of the program, to test the reliability of the program. More interesting is the second scenario where inputs should be as dissimilar as possible from normal usage. This is useful for robustness testing and exploring yet","authors_text":"Andreas Zeller, Esteban Pavese, Ezekiel Soremekun, Lars Grunske, Nikolas Havrikov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-18T17:46:42Z","title":"Inputs from Hell: Generating Uncommon Inputs from Common Samples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.07525","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:962e8a9a319757b3df0d97a82f3142d7de09bebc42bbee15629bfd563a505242","target":"record","created_at":"2026-05-17T23:57:56Z","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":"45304419f707c985f71904009b99df79b86616357617d6eda45c5e86bdc3b748","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-18T17:46:42Z","title_canon_sha256":"d3cfbfee3c49aa5850c59ff55da657fee36deffb9c881122c1831136c6dab5ac"},"schema_version":"1.0","source":{"id":"1812.07525","kind":"arxiv","version":2}},"canonical_sha256":"c8c77ac57b51cd4cf24f9f135c0bf6b188729537a3050cae43d3c074b471b800","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8c77ac57b51cd4cf24f9f135c0bf6b188729537a3050cae43d3c074b471b800","first_computed_at":"2026-05-17T23:57:56.637944Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:57:56.637944Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b2IjDgBUzws8uruHV8WnVtnteaceLKL8jvIITVadfKWcDx7ZNsSmplTlUkIL5Fkiv2vgafuFJlNundicGWiPDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:57:56.638475Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.07525","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:962e8a9a319757b3df0d97a82f3142d7de09bebc42bbee15629bfd563a505242","sha256:b2fe4161aa80e1b878e93212a29be0e8cfac253c1ef5433f245e1a271ed607bf"],"state_sha256":"0c3dddd566e3f876b5dc718a0101d3583843baa30e4fc44b5fd3203e1f660c97"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e1FrAhyEIWHmxMGn0gmXSrxwryNvEFpoyLnjuTjsyEpPcbhMHDUJJZiIhFsFqqUc7CvJAkLv8UVd3/1D6tW0Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T21:22:58.573512Z","bundle_sha256":"1247d874fdf399a85216d1f2c7e69767a2c57ec9551142942c42e3c41f3a77f1"}}