{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:24QI5WEV3SVIPTYECZKONGVBKX","short_pith_number":"pith:24QI5WEV","schema_version":"1.0","canonical_sha256":"d7208ed895dcaa87cf041654e69aa155d7e0cbbd65bd774ff083ff9d8c92a8fc","source":{"kind":"arxiv","id":"2503.22641","version":1},"attestation_state":"computed","paper":{"title":"QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"quant-ph","authors_text":"Gabriel Pontolillo, Marek Grzesiuk, Mohammad Reza Mousavi","submitted_at":"2025-03-28T17:30:09Z","abstract_excerpt":"Property-based testing has been previously proposed for quantum programs in Q# with QSharpCheck; however, this implementation was limited in functionality, lacked extensibility, and was evaluated on a narrow range of programs using a single property. To address these limitations, we propose QuCheck, an enhanced property-based testing framework in Qiskit. By leveraging Qiskit and the broader Python ecosystem, QuCheck facilitates property construction, introduces flexible input generators and assertions, and supports expressive preconditions. We assessed its effectiveness through mutation analys"},"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":"2503.22641","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-03-28T17:30:09Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"5057cfea47cd989d46c1dafe645709dbe56f4d4a2be0e9602593ae5b2f57e56a","abstract_canon_sha256":"ae858742a97f9d848898aa82591e38ba91083b3013f86204b523887dacaadcae"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:41:08.145760Z","signature_b64":"aWXULfVUPvao5eQi2o26/F8HclZTaT+eCut436rlyEkRiCVdUuIXgMSlFmKiM6nVtPAnkpGMi6KAA77z6B/0Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7208ed895dcaa87cf041654e69aa155d7e0cbbd65bd774ff083ff9d8c92a8fc","last_reissued_at":"2026-07-05T10:41:08.145202Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:41:08.145202Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"quant-ph","authors_text":"Gabriel Pontolillo, Marek Grzesiuk, Mohammad Reza Mousavi","submitted_at":"2025-03-28T17:30:09Z","abstract_excerpt":"Property-based testing has been previously proposed for quantum programs in Q# with QSharpCheck; however, this implementation was limited in functionality, lacked extensibility, and was evaluated on a narrow range of programs using a single property. To address these limitations, we propose QuCheck, an enhanced property-based testing framework in Qiskit. By leveraging Qiskit and the broader Python ecosystem, QuCheck facilitates property construction, introduces flexible input generators and assertions, and supports expressive preconditions. We assessed its effectiveness through mutation analys"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.22641","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/2503.22641/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":"2503.22641","created_at":"2026-07-05T10:41:08.145274+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.22641v1","created_at":"2026-07-05T10:41:08.145274+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.22641","created_at":"2026-07-05T10:41:08.145274+00:00"},{"alias_kind":"pith_short_12","alias_value":"24QI5WEV3SVI","created_at":"2026-07-05T10:41:08.145274+00:00"},{"alias_kind":"pith_short_16","alias_value":"24QI5WEV3SVIPTYE","created_at":"2026-07-05T10:41:08.145274+00:00"},{"alias_kind":"pith_short_8","alias_value":"24QI5WEV","created_at":"2026-07-05T10:41:08.145274+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2601.08367","citing_title":"A Methodological Analysis of Empirical Studies in Quantum Software Testing","ref_index":93,"is_internal_anchor":false},{"citing_arxiv_id":"2605.03957","citing_title":"Randomized and Diverse Input State Generation for Quantum Program Testing","ref_index":4,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX","json":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX.json","graph_json":"https://pith.science/api/pith-number/24QI5WEV3SVIPTYECZKONGVBKX/graph.json","events_json":"https://pith.science/api/pith-number/24QI5WEV3SVIPTYECZKONGVBKX/events.json","paper":"https://pith.science/paper/24QI5WEV"},"agent_actions":{"view_html":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX","download_json":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX.json","view_paper":"https://pith.science/paper/24QI5WEV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.22641&json=true","fetch_graph":"https://pith.science/api/pith-number/24QI5WEV3SVIPTYECZKONGVBKX/graph.json","fetch_events":"https://pith.science/api/pith-number/24QI5WEV3SVIPTYECZKONGVBKX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX/action/storage_attestation","attest_author":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX/action/author_attestation","sign_citation":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX/action/citation_signature","submit_replication":"https://pith.science/pith/24QI5WEV3SVIPTYECZKONGVBKX/action/replication_record"}},"created_at":"2026-07-05T10:41:08.145274+00:00","updated_at":"2026-07-05T10:41:08.145274+00:00"}