{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LNCSFKU5KJ2PVEZ5NYJ4FNQGN4","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":"1f71ad9aee4577a0d336ce40cba093f52a31b9ebea75000ccc68360a92a41bdb","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-29T13:02:44Z","title_canon_sha256":"efe6ab6434eb4ab5cb089432f88cffa681f46e901f6fc8da2c3f993a3643cbe3"},"schema_version":"1.0","source":{"id":"1708.08731","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.08731","created_at":"2026-05-18T00:36:25Z"},{"alias_kind":"arxiv_version","alias_value":"1708.08731v1","created_at":"2026-05-18T00:36:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.08731","created_at":"2026-05-18T00:36:25Z"},{"alias_kind":"pith_short_12","alias_value":"LNCSFKU5KJ2P","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LNCSFKU5KJ2PVEZ5","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LNCSFKU5","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:0eee683db12b038e3d4eb80f0b2faf1403cd76ec54f0afdf14ab00a68652c4b3","target":"graph","created_at":"2026-05-18T00:36:25Z","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":"Knowing the precise format of a program's input is a necessary prerequisite for systematic testing. Given a program and a small set of sample inputs, we (1) track the data flow of inputs to aggregate input fragments that share the same data flow through program execution into lexical and syntactic entities; (2) assign these entities names that are based on the associated variable and function identifiers; and (3) systematically generalize production rules by means of membership queries. As a result, we need only a minimal set of sample inputs to obtain human-readable context-free grammars that","authors_text":"Alexander Kampmann, Andreas Zeller, Matthias H\\\"oschele","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-29T13:02:44Z","title":"Active Learning of Input Grammars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.08731","kind":"arxiv","version":1},"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:02a04f8069a549a38c797205ef73a74192926f2bdaddaba24e0d373e629110a5","target":"record","created_at":"2026-05-18T00:36:25Z","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":"1f71ad9aee4577a0d336ce40cba093f52a31b9ebea75000ccc68360a92a41bdb","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-29T13:02:44Z","title_canon_sha256":"efe6ab6434eb4ab5cb089432f88cffa681f46e901f6fc8da2c3f993a3643cbe3"},"schema_version":"1.0","source":{"id":"1708.08731","kind":"arxiv","version":1}},"canonical_sha256":"5b4522aa9d5274fa933d6e13c2b6066f03330e50cfb53675c436f1fd7d00988c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b4522aa9d5274fa933d6e13c2b6066f03330e50cfb53675c436f1fd7d00988c","first_computed_at":"2026-05-18T00:36:25.883541Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:25.883541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qfI9VGaPvBo5cZcFUJOxI5dlp4SgUbJDiOFNhRYnvsyoj/pzc9Cx8PUp0wxHK/CdcVsD6wnChrR8k/ii5WK+Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:25.884279Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.08731","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:02a04f8069a549a38c797205ef73a74192926f2bdaddaba24e0d373e629110a5","sha256:0eee683db12b038e3d4eb80f0b2faf1403cd76ec54f0afdf14ab00a68652c4b3"],"state_sha256":"9763ec6e540a038cedcadf047644e1ef60f21b713ab3d9db878cc0196c3a4488"}