{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:RGGZ2E2BK72BZKXYEH5JUBGSGU","short_pith_number":"pith:RGGZ2E2B","schema_version":"1.0","canonical_sha256":"898d9d134157f41caaf821fa9a04d2351f88ac19cf8809da496654d67fb318a9","source":{"kind":"arxiv","id":"2208.03407","version":1},"attestation_state":"computed","paper":{"title":"An Overview of Structural Coverage Metrics for Testing Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.SE","authors_text":"Corina S. Pasareanu, Divya Gopinath, Luca Manolache, Muhammad Usman, Rishi Dange, Youcheng Sun","submitted_at":"2022-08-05T23:37:04Z","abstract_excerpt":"Deep neural network (DNN) models, including those used in safety-critical domains, need to be thoroughly tested to ensure that they can reliably perform well in different scenarios. In this article, we provide an overview of structural coverage metrics for testing DNN models, including neuron coverage (NC), k-multisection neuron coverage (kMNC), top-k neuron coverage (TKNC), neuron boundary coverage (NBC), strong neuron activation coverage (SNAC) and modified condition/decision coverage (MC/DC). We evaluate the metrics on realistic DNN models used for perception tasks (including LeNet-1, LeNet"},"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":"2208.03407","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2022-08-05T23:37:04Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"adaec4f017ffd2ce022a02f7c3fd9c381be0db0b5b81dd2303364b4232ac2144","abstract_canon_sha256":"35b829ae2bdb84374116b4d820d2114e275a93b3cb79fc87f02b993cfc4135d9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:46:40.384624Z","signature_b64":"q4vrqesMrO1c6/h0e0DeVke9t6jMJCXd+lSNHi++7l9uGw6MnzsCB4ud/gKdm8eM1634YAeeteEqTVR5IbC/Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"898d9d134157f41caaf821fa9a04d2351f88ac19cf8809da496654d67fb318a9","last_reissued_at":"2026-07-05T04:46:40.384268Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:46:40.384268Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Overview of Structural Coverage Metrics for Testing Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.SE","authors_text":"Corina S. Pasareanu, Divya Gopinath, Luca Manolache, Muhammad Usman, Rishi Dange, Youcheng Sun","submitted_at":"2022-08-05T23:37:04Z","abstract_excerpt":"Deep neural network (DNN) models, including those used in safety-critical domains, need to be thoroughly tested to ensure that they can reliably perform well in different scenarios. In this article, we provide an overview of structural coverage metrics for testing DNN models, including neuron coverage (NC), k-multisection neuron coverage (kMNC), top-k neuron coverage (TKNC), neuron boundary coverage (NBC), strong neuron activation coverage (SNAC) and modified condition/decision coverage (MC/DC). We evaluate the metrics on realistic DNN models used for perception tasks (including LeNet-1, LeNet"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.03407","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/2208.03407/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":"2208.03407","created_at":"2026-07-05T04:46:40.384321+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.03407v1","created_at":"2026-07-05T04:46:40.384321+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.03407","created_at":"2026-07-05T04:46:40.384321+00:00"},{"alias_kind":"pith_short_12","alias_value":"RGGZ2E2BK72B","created_at":"2026-07-05T04:46:40.384321+00:00"},{"alias_kind":"pith_short_16","alias_value":"RGGZ2E2BK72BZKXY","created_at":"2026-07-05T04:46:40.384321+00:00"},{"alias_kind":"pith_short_8","alias_value":"RGGZ2E2B","created_at":"2026-07-05T04:46:40.384321+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/RGGZ2E2BK72BZKXYEH5JUBGSGU","json":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU.json","graph_json":"https://pith.science/api/pith-number/RGGZ2E2BK72BZKXYEH5JUBGSGU/graph.json","events_json":"https://pith.science/api/pith-number/RGGZ2E2BK72BZKXYEH5JUBGSGU/events.json","paper":"https://pith.science/paper/RGGZ2E2B"},"agent_actions":{"view_html":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU","download_json":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU.json","view_paper":"https://pith.science/paper/RGGZ2E2B","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.03407&json=true","fetch_graph":"https://pith.science/api/pith-number/RGGZ2E2BK72BZKXYEH5JUBGSGU/graph.json","fetch_events":"https://pith.science/api/pith-number/RGGZ2E2BK72BZKXYEH5JUBGSGU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU/action/storage_attestation","attest_author":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU/action/author_attestation","sign_citation":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU/action/citation_signature","submit_replication":"https://pith.science/pith/RGGZ2E2BK72BZKXYEH5JUBGSGU/action/replication_record"}},"created_at":"2026-07-05T04:46:40.384321+00:00","updated_at":"2026-07-05T04:46:40.384321+00:00"}