{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:GGUTTUVMRVVFDFYBUBWH6WX4UB","short_pith_number":"pith:GGUTTUVM","schema_version":"1.0","canonical_sha256":"31a939d2ac8d6a519701a06c7f5afca0538dfd98758358342c075ad3dce2e83f","source":{"kind":"arxiv","id":"2507.17235","version":1},"attestation_state":"computed","paper":{"title":"On the Feasibility of Quantum Unit Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.SE","authors_text":"Andriy Miranskyy, Anila Mjeda, Ignacio Garc\\'ia Rodr\\'iguez de Guzm\\'an, Jos\\'e Campos, Lei Zhang","submitted_at":"2025-07-23T06:05:24Z","abstract_excerpt":"The increasing complexity of quantum software presents significant challenges for software verification and validation, particularly in the context of unit testing. This work presents a comprehensive study on quantum-centric unit tests, comparing traditional statistical approaches with tests specifically designed for quantum circuits. These include tests that run only on a classical computer, such as the Statevector test, as well as those executable on quantum hardware, such as the Swap test and the novel Inverse test. Through an empirical study and detailed analysis on 1,796,880 mutated quant"},"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":"2507.17235","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-23T06:05:24Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"1c5e816daf98f81fc5b160d5b82d1869af032c1be8cfd8e7fae0c97f96fccae4","abstract_canon_sha256":"99d0db06fbe9a06759ea74ef6c9270829e3aff43e0382d2832beaa267f80e731"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:42:04.095830Z","signature_b64":"2Itqz6btP+TZJcM8vL3KAb0Imd0hOLPjNFv/jxW/QxM2bcPPYyoQ6YupV4dLnfXPduQiA8xIWTBT/CvuAtfWDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31a939d2ac8d6a519701a06c7f5afca0538dfd98758358342c075ad3dce2e83f","last_reissued_at":"2026-07-05T11:42:04.095218Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:42:04.095218Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Feasibility of Quantum Unit Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.SE","authors_text":"Andriy Miranskyy, Anila Mjeda, Ignacio Garc\\'ia Rodr\\'iguez de Guzm\\'an, Jos\\'e Campos, Lei Zhang","submitted_at":"2025-07-23T06:05:24Z","abstract_excerpt":"The increasing complexity of quantum software presents significant challenges for software verification and validation, particularly in the context of unit testing. This work presents a comprehensive study on quantum-centric unit tests, comparing traditional statistical approaches with tests specifically designed for quantum circuits. These include tests that run only on a classical computer, such as the Statevector test, as well as those executable on quantum hardware, such as the Swap test and the novel Inverse test. Through an empirical study and detailed analysis on 1,796,880 mutated quant"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.17235","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/2507.17235/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":"2507.17235","created_at":"2026-07-05T11:42:04.095289+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.17235v1","created_at":"2026-07-05T11:42:04.095289+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.17235","created_at":"2026-07-05T11:42:04.095289+00:00"},{"alias_kind":"pith_short_12","alias_value":"GGUTTUVMRVVF","created_at":"2026-07-05T11:42:04.095289+00:00"},{"alias_kind":"pith_short_16","alias_value":"GGUTTUVMRVVFDFYB","created_at":"2026-07-05T11:42:04.095289+00:00"},{"alias_kind":"pith_short_8","alias_value":"GGUTTUVM","created_at":"2026-07-05T11:42:04.095289+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":7,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.26604","citing_title":"Quantum Mutant Equivalence via Transpilation","ref_index":9,"is_internal_anchor":false},{"citing_arxiv_id":"2607.02029","citing_title":"Benchmarking Quantum Software Testing with Scalable Quantum Programs","ref_index":25,"is_internal_anchor":false},{"citing_arxiv_id":"2601.08367","citing_title":"A Methodological Analysis of Empirical Studies in Quantum Software Testing","ref_index":76,"is_internal_anchor":false},{"citing_arxiv_id":"2605.14219","citing_title":"Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2604.26609","citing_title":"Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs","ref_index":42,"is_internal_anchor":false},{"citing_arxiv_id":"2605.03957","citing_title":"Randomized and Diverse Input State Generation for Quantum Program Testing","ref_index":5,"is_internal_anchor":false},{"citing_arxiv_id":"2605.01008","citing_title":"Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp","ref_index":6,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB","json":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB.json","graph_json":"https://pith.science/api/pith-number/GGUTTUVMRVVFDFYBUBWH6WX4UB/graph.json","events_json":"https://pith.science/api/pith-number/GGUTTUVMRVVFDFYBUBWH6WX4UB/events.json","paper":"https://pith.science/paper/GGUTTUVM"},"agent_actions":{"view_html":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB","download_json":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB.json","view_paper":"https://pith.science/paper/GGUTTUVM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.17235&json=true","fetch_graph":"https://pith.science/api/pith-number/GGUTTUVMRVVFDFYBUBWH6WX4UB/graph.json","fetch_events":"https://pith.science/api/pith-number/GGUTTUVMRVVFDFYBUBWH6WX4UB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB/action/storage_attestation","attest_author":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB/action/author_attestation","sign_citation":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB/action/citation_signature","submit_replication":"https://pith.science/pith/GGUTTUVMRVVFDFYBUBWH6WX4UB/action/replication_record"}},"created_at":"2026-07-05T11:42:04.095289+00:00","updated_at":"2026-07-05T11:42:04.095289+00:00"}