{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:I6EA4BWRUHWNVBPRJOYIAG3DGG","short_pith_number":"pith:I6EA4BWR","schema_version":"1.0","canonical_sha256":"47880e06d1a1ecda85f14bb0801b633196c4a413a83dadb47863f71561b442c3","source":{"kind":"arxiv","id":"2504.02737","version":3},"attestation_state":"computed","paper":{"title":"RBT4DNN: Requirements-based Testing of Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.SE","authors_text":"Felipe Toledo, Matthew B. Dwyer, Nusrat Jahan Mozumder, Swaroopa Dola","submitted_at":"2025-04-03T16:24:49Z","abstract_excerpt":"Testing allows developers to determine whether a system functions as expected. When such systems include deep neural networks (DNNs), Testing becomes challenging, as DNNs approximate functions for which the formalization of functional requirements is intractable. This prevents the application of well-developed approaches to requirements-based testing to DNNs.\n  To address this, we propose a requirements-based testing method (RBT4DNN) that uses natural language requirements statements. These statements use a glossary of terms to define a semantic feature space that can be leveraged for test inp"},"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":"2504.02737","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-03T16:24:49Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"22fce31aab792f67dd765a0253f0184326332ab568a20916eb1782f0990f7a9b","abstract_canon_sha256":"f4910516cca7b1d4ad57cf09995f92977f8c74a5f0f1acdf1cbeeac9e83cfa8e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:33.061531Z","signature_b64":"BQgbl7FS9ADN0BC44pq4NunV8lPsAi6mm9ENLkjPRhEQ68yPANdwwTBWaZtsgmfCnfknCFzD5FqUvPAuBnKTDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47880e06d1a1ecda85f14bb0801b633196c4a413a83dadb47863f71561b442c3","last_reissued_at":"2026-07-05T12:04:33.061062Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:33.061062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"RBT4DNN: Requirements-based Testing of Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.SE","authors_text":"Felipe Toledo, Matthew B. Dwyer, Nusrat Jahan Mozumder, Swaroopa Dola","submitted_at":"2025-04-03T16:24:49Z","abstract_excerpt":"Testing allows developers to determine whether a system functions as expected. When such systems include deep neural networks (DNNs), Testing becomes challenging, as DNNs approximate functions for which the formalization of functional requirements is intractable. This prevents the application of well-developed approaches to requirements-based testing to DNNs.\n  To address this, we propose a requirements-based testing method (RBT4DNN) that uses natural language requirements statements. These statements use a glossary of terms to define a semantic feature space that can be leveraged for test inp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.02737","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/2504.02737/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":"2504.02737","created_at":"2026-07-05T12:04:33.061118+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.02737v3","created_at":"2026-07-05T12:04:33.061118+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.02737","created_at":"2026-07-05T12:04:33.061118+00:00"},{"alias_kind":"pith_short_12","alias_value":"I6EA4BWRUHWN","created_at":"2026-07-05T12:04:33.061118+00:00"},{"alias_kind":"pith_short_16","alias_value":"I6EA4BWRUHWNVBPR","created_at":"2026-07-05T12:04:33.061118+00:00"},{"alias_kind":"pith_short_8","alias_value":"I6EA4BWR","created_at":"2026-07-05T12:04:33.061118+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/I6EA4BWRUHWNVBPRJOYIAG3DGG","json":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG.json","graph_json":"https://pith.science/api/pith-number/I6EA4BWRUHWNVBPRJOYIAG3DGG/graph.json","events_json":"https://pith.science/api/pith-number/I6EA4BWRUHWNVBPRJOYIAG3DGG/events.json","paper":"https://pith.science/paper/I6EA4BWR"},"agent_actions":{"view_html":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG","download_json":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG.json","view_paper":"https://pith.science/paper/I6EA4BWR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.02737&json=true","fetch_graph":"https://pith.science/api/pith-number/I6EA4BWRUHWNVBPRJOYIAG3DGG/graph.json","fetch_events":"https://pith.science/api/pith-number/I6EA4BWRUHWNVBPRJOYIAG3DGG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG/action/storage_attestation","attest_author":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG/action/author_attestation","sign_citation":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG/action/citation_signature","submit_replication":"https://pith.science/pith/I6EA4BWRUHWNVBPRJOYIAG3DGG/action/replication_record"}},"created_at":"2026-07-05T12:04:33.061118+00:00","updated_at":"2026-07-05T12:04:33.061118+00:00"}