{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:2SRCGEVJOBDSCUZPJCLIFDGJE3","short_pith_number":"pith:2SRCGEVJ","schema_version":"1.0","canonical_sha256":"d4a22312a9704721532f4896828cc926dfa29c4bfd953ec9ba0614634b13d7d5","source":{"kind":"arxiv","id":"2502.18694","version":3},"attestation_state":"computed","paper":{"title":"Requirements-Driven Automated Software Testing: A Systematic Review","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aldeida Aleti, Chakkrit Tantithamthavorn, Chetan Arora, Fanyu Wang, Kaicheng Huang","submitted_at":"2025-02-25T23:13:09Z","abstract_excerpt":"Automated software testing has significant potential to enhance efficiency and reliability within software development processes. However, its broader adoption faces considerable challenges, particularly concerning alignment between test generation methodologies and software requirements. REquirements-Driven Automated Software Testing (REDAST) addresses this gap by systematically leveraging requirements as the foundation for automated test artifact generation. This systematic literature review (SLR) critically examines the REDAST landscape, analyzing the current state of requirements input for"},"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":"2502.18694","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-25T23:13:09Z","cross_cats_sorted":[],"title_canon_sha256":"69a3462e7618483a453e3eb3c86c1566775a4ff9cd37235d40531887c58d1d9c","abstract_canon_sha256":"1225bddd6fb17dde2d53a45759c6ffa08611ece754a2fceb523fdb86a668f2ca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:57:55.073412Z","signature_b64":"rFCBnTzGno5qD2LJl4E4bHq0SJ8ANqsNKtBQbWULNCLDMf5ssBdNyqzTPT4EFAAmoXag7MGyhZxxPc4h5hKKBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4a22312a9704721532f4896828cc926dfa29c4bfd953ec9ba0614634b13d7d5","last_reissued_at":"2026-07-05T11:57:55.072950Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:57:55.072950Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Requirements-Driven Automated Software Testing: A Systematic Review","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aldeida Aleti, Chakkrit Tantithamthavorn, Chetan Arora, Fanyu Wang, Kaicheng Huang","submitted_at":"2025-02-25T23:13:09Z","abstract_excerpt":"Automated software testing has significant potential to enhance efficiency and reliability within software development processes. However, its broader adoption faces considerable challenges, particularly concerning alignment between test generation methodologies and software requirements. REquirements-Driven Automated Software Testing (REDAST) addresses this gap by systematically leveraging requirements as the foundation for automated test artifact generation. This systematic literature review (SLR) critically examines the REDAST landscape, analyzing the current state of requirements input for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.18694","kind":"arxiv","version":3},"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/2502.18694/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":"2502.18694","created_at":"2026-07-05T11:57:55.073004+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.18694v3","created_at":"2026-07-05T11:57:55.073004+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.18694","created_at":"2026-07-05T11:57:55.073004+00:00"},{"alias_kind":"pith_short_12","alias_value":"2SRCGEVJOBDS","created_at":"2026-07-05T11:57:55.073004+00:00"},{"alias_kind":"pith_short_16","alias_value":"2SRCGEVJOBDSCUZP","created_at":"2026-07-05T11:57:55.073004+00:00"},{"alias_kind":"pith_short_8","alias_value":"2SRCGEVJ","created_at":"2026-07-05T11:57:55.073004+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/2SRCGEVJOBDSCUZPJCLIFDGJE3","json":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3.json","graph_json":"https://pith.science/api/pith-number/2SRCGEVJOBDSCUZPJCLIFDGJE3/graph.json","events_json":"https://pith.science/api/pith-number/2SRCGEVJOBDSCUZPJCLIFDGJE3/events.json","paper":"https://pith.science/paper/2SRCGEVJ"},"agent_actions":{"view_html":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3","download_json":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3.json","view_paper":"https://pith.science/paper/2SRCGEVJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.18694&json=true","fetch_graph":"https://pith.science/api/pith-number/2SRCGEVJOBDSCUZPJCLIFDGJE3/graph.json","fetch_events":"https://pith.science/api/pith-number/2SRCGEVJOBDSCUZPJCLIFDGJE3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3/action/storage_attestation","attest_author":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3/action/author_attestation","sign_citation":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3/action/citation_signature","submit_replication":"https://pith.science/pith/2SRCGEVJOBDSCUZPJCLIFDGJE3/action/replication_record"}},"created_at":"2026-07-05T11:57:55.073004+00:00","updated_at":"2026-07-05T11:57:55.073004+00:00"}