{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:IGOQYR5KP3GD5NIRTK6WNKW4NH","short_pith_number":"pith:IGOQYR5K","schema_version":"1.0","canonical_sha256":"419d0c47aa7ecc3eb5119abd66aadc69f975ae29aa55309110dfb59d4d00e200","source":{"kind":"arxiv","id":"2508.01472","version":1},"attestation_state":"computed","paper":{"title":"Directed Grammar-Based Test Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Design), Ezekiel Soremekun (Singapore University of Technology, Lukas Kirschner (Saarland University, University of Luxembourg)","submitted_at":"2025-08-02T19:43:15Z","abstract_excerpt":"To effectively test complex software, it is important to generate goal-specific inputs, i.e., inputs that achieve a specific testing goal. However, most state-of-the-art test generators are not designed to target specific goals. Notably, grammar-based test generators, which (randomly) produce syntactically valid inputs via an input specification (i.e., grammar) have a low probability of achieving an arbitrary testing goal. This work addresses this challenge by proposing an automated test generation approach (called FdLoop) which iteratively learns relevant input properties from existing inputs"},"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":"2508.01472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-02T19:43:15Z","cross_cats_sorted":[],"title_canon_sha256":"ecec92eb27efdc4c8e923b3dc47fc077676ef6b3a32baf55238e4ec10a69e6b6","abstract_canon_sha256":"ec2fc821605a384d803d7d46d083dc81ce0ed921caf33ffdc48d4515083206d0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:47:39.686165Z","signature_b64":"isjWUmj6R1say9W/juWReabaVXYsG02nbrMv1dB9iHzONQmbFeu88KLTNtZZ5iabRdCHxNMWczvAICfpW62tBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"419d0c47aa7ecc3eb5119abd66aadc69f975ae29aa55309110dfb59d4d00e200","last_reissued_at":"2026-07-05T11:47:39.685622Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:47:39.685622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Directed Grammar-Based Test Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Design), Ezekiel Soremekun (Singapore University of Technology, Lukas Kirschner (Saarland University, University of Luxembourg)","submitted_at":"2025-08-02T19:43:15Z","abstract_excerpt":"To effectively test complex software, it is important to generate goal-specific inputs, i.e., inputs that achieve a specific testing goal. However, most state-of-the-art test generators are not designed to target specific goals. Notably, grammar-based test generators, which (randomly) produce syntactically valid inputs via an input specification (i.e., grammar) have a low probability of achieving an arbitrary testing goal. This work addresses this challenge by proposing an automated test generation approach (called FdLoop) which iteratively learns relevant input properties from existing inputs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.01472","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.01472/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2508.01472","created_at":"2026-07-05T11:47:39.685694+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.01472v1","created_at":"2026-07-05T11:47:39.685694+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.01472","created_at":"2026-07-05T11:47:39.685694+00:00"},{"alias_kind":"pith_short_12","alias_value":"IGOQYR5KP3GD","created_at":"2026-07-05T11:47:39.685694+00:00"},{"alias_kind":"pith_short_16","alias_value":"IGOQYR5KP3GD5NIR","created_at":"2026-07-05T11:47:39.685694+00:00"},{"alias_kind":"pith_short_8","alias_value":"IGOQYR5K","created_at":"2026-07-05T11:47:39.685694+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/IGOQYR5KP3GD5NIRTK6WNKW4NH","json":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH.json","graph_json":"https://pith.science/api/pith-number/IGOQYR5KP3GD5NIRTK6WNKW4NH/graph.json","events_json":"https://pith.science/api/pith-number/IGOQYR5KP3GD5NIRTK6WNKW4NH/events.json","paper":"https://pith.science/paper/IGOQYR5K"},"agent_actions":{"view_html":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH","download_json":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH.json","view_paper":"https://pith.science/paper/IGOQYR5K","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.01472&json=true","fetch_graph":"https://pith.science/api/pith-number/IGOQYR5KP3GD5NIRTK6WNKW4NH/graph.json","fetch_events":"https://pith.science/api/pith-number/IGOQYR5KP3GD5NIRTK6WNKW4NH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH/action/storage_attestation","attest_author":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH/action/author_attestation","sign_citation":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH/action/citation_signature","submit_replication":"https://pith.science/pith/IGOQYR5KP3GD5NIRTK6WNKW4NH/action/replication_record"}},"created_at":"2026-07-05T11:47:39.685694+00:00","updated_at":"2026-07-05T11:47:39.685694+00:00"}