{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:LNCSFKU5KJ2PVEZ5NYJ4FNQGN4","short_pith_number":"pith:LNCSFKU5","schema_version":"1.0","canonical_sha256":"5b4522aa9d5274fa933d6e13c2b6066f03330e50cfb53675c436f1fd7d00988c","source":{"kind":"arxiv","id":"1708.08731","version":1},"attestation_state":"computed","paper":{"title":"Active Learning of Input Grammars","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"Alexander Kampmann, Andreas Zeller, Matthias H\\\"oschele","submitted_at":"2017-08-29T13:02:44Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1708.08731","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-29T13:02:44Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"efe6ab6434eb4ab5cb089432f88cffa681f46e901f6fc8da2c3f993a3643cbe3","abstract_canon_sha256":"1f71ad9aee4577a0d336ce40cba093f52a31b9ebea75000ccc68360a92a41bdb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:25.884279Z","signature_b64":"qfI9VGaPvBo5cZcFUJOxI5dlp4SgUbJDiOFNhRYnvsyoj/pzc9Cx8PUp0wxHK/CdcVsD6wnChrR8k/ii5WK+Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b4522aa9d5274fa933d6e13c2b6066f03330e50cfb53675c436f1fd7d00988c","last_reissued_at":"2026-05-18T00:36:25.883541Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:25.883541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Active Learning of Input Grammars","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"Alexander Kampmann, Andreas Zeller, Matthias H\\\"oschele","submitted_at":"2017-08-29T13:02:44Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.08731","kind":"arxiv","version":1},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1708.08731","created_at":"2026-05-18T00:36:25.883670+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.08731v1","created_at":"2026-05-18T00:36:25.883670+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.08731","created_at":"2026-05-18T00:36:25.883670+00:00"},{"alias_kind":"pith_short_12","alias_value":"LNCSFKU5KJ2P","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_16","alias_value":"LNCSFKU5KJ2PVEZ5","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_8","alias_value":"LNCSFKU5","created_at":"2026-05-18T12:31:28.150371+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4","json":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4.json","graph_json":"https://pith.science/api/pith-number/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/graph.json","events_json":"https://pith.science/api/pith-number/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/events.json","paper":"https://pith.science/paper/LNCSFKU5"},"agent_actions":{"view_html":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4","download_json":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4.json","view_paper":"https://pith.science/paper/LNCSFKU5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.08731&json=true","fetch_graph":"https://pith.science/api/pith-number/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/graph.json","fetch_events":"https://pith.science/api/pith-number/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/action/storage_attestation","attest_author":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/action/author_attestation","sign_citation":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/action/citation_signature","submit_replication":"https://pith.science/pith/LNCSFKU5KJ2PVEZ5NYJ4FNQGN4/action/replication_record"}},"created_at":"2026-05-18T00:36:25.883670+00:00","updated_at":"2026-05-18T00:36:25.883670+00:00"}