Artifact of Quantum Squeeziness: Information-Theoretic Foundations of Quantum Software Testability

Abstract Testability—the degree to which faults can be revealed and diagnosed—has long been fundamental in Software Engineering but remains unexplored for quantum software. This work presents the first formalisation of testability for quantum programs, adapting classical concepts to the unique properties of quantum computation. We introduce Quantum Squeeziness, an information-theoretic metric inspired by the classical squeeziness measure, to quantify how effectively faults propagate to observable failures. We provide an efficient computational method for calculating Quantum Squeeziness and validate it through large-scale quantum mutation testing. Across more than 50k mutants executed over several months, we observe a strong negative correlation between squeeziness and mutation score, demonstrating that higher squeeziness reliably predicts reduced fault detectability. Performance results show that the standard squeeziness computation is already 15% faster than baseline methods, while our optimised variant, FastSqueeziness, reduces mean runtime from 3200 s to 189 s, achieving a 16.9× speedup with 95% accuracy. By establishing a rigorous notion of testability for quantum software, this study opens a new line of research at the intersection of software engineering, quantum information theory, and testing. Beyond its immediate implications for testing and debugging, the proposed framework lays the foundation for future applications in quantum error mitigation and error correction, providing a principled means to assess and improve the robustness of quantum programs. Artifact Contents The archive Quantum_Squeeziness_AE_Kit.zip contains all materials required for ASE 2026 Artifact Evaluation. Specifically, it includes: Complete source code Benchmark quantum circuits Precomputed experimental results Docker environment Dependency specifications Documentation Replication scripts for RQ1–RQ3 A copy of the accepted paper (ase26-paper151.pdf) The artifact is self-contained and can be executed without access to external services. Precomputed results are provided for experiments whose full recomputation would require weeks or months of execution time, while all scripts necessary to regenerate those results are also included. Consequently, Quantum_Squeeziness_AE_Kit.zip constitutes the complete artifact-evaluation package and contains everything required by reviewers to assess the Available, Functional, and Reusable badges, including software, data, documentation, execution environments, and reproduction instructions. Replication Steps Setup Create a virtual environment and install the packages listed in requirements.txt. RQ1 Run: python3 testabilityBenchmark_RQ1/run_benchmark.py In line 885, you can modify folder_path to select the desired benchmark folder and run larger experiments. RQ2 Compute Quantum Squeeziness Run: python3 definingSqueeziness_RQ2/squeeziness.py to produce the Squeeziness results for a given QASM folder. Line 931: choose the origin folder. Line 932: choose the target folder. Compute FastSqueeziness Run: python3 definingSqueeziness_RQ2/fast_squeeziness.py to produce the FastSqueeziness results for a given QASM folder. Line 937: choose the origin folder. Line 938: choose the target folder. Note: Running either script on the complete mutant dataset requires several months of computation. For testing purposes, we recommend using smaller subsets such as the MQT or chosen QASM folders. Analysis Run: python3 definingSqueeziness_RQ2/analyse_dqcSqueeziness.py python3 definingSqueeziness_RQ2/evaluate_fastSqueeziness.py python3 definingSqueeziness_RQ2/statistical_analysisSqueezinessR2.py to reproduce the analysis results. RQ3 Prepare Mutation Results Unzip Results_mutants_chosen.zip and place the extracted folder inside: validatingSqueeziness_RQ3/ Alternatively, the results can be reproduced manually using: python3 validatingSqueeziness_RQ3/mutantsGeneratorBasic.py python3 validatingSqueeziness_RQ3/executeCircuit.py These scripts originate from Muskit (see the reference in line 1 of the source file). Reproducing the complete dataset manually may require several weeks of execution. Reproduce FastSqueeziness Validation Results Generate and organise result folders: python3 results/combine_folder.py Select mutants within the desired Squeeziness range: python3 validatingSqueeziness_RQ3/select_mutants.py \ --origin_csv definingSqueeziness_RQ2/correlation_analysis_chosen/Fastsqueeziness_metrics_summary.csv \ --mutant_info_folder validatingSqueeziness_RQ3/resultsFastSqueezinessMutantsChosen100Iterations \ --mutants_results_root validatingSqueeziness_RQ3/Results_mutants_chosen \ --output_folder validatingSqueeziness_RQ3/selectedMutantsChosen_FastSqueeziness \ --qasm_original_root qasm_circuits/chosen \ --qasm_mutant_root validatingSqueeziness_RQ3/Mutants_chosen Execute mutation testing: python3 validatingSqueeziness_RQ3/analyse.py \ --oracle validatingSqueeziness_RQ3/chosen_oracle \ --mutants validatingSqueeziness_RQ3/selectedMutantsChosen_FastSqueeziness/ \ --output validatingSqueeziness_RQ3/Test_killingMutants_FastSqueeziness_Chosen Produce the final correlation plots: python3 validatingSqueeziness_RQ3/correlation_squeeziness_kill_ratio.py Running these scripts recreates all necessary intermediate directories and the complete set of results. The configuration can be modified to reproduce alternative experiments (e.g., MQT datasets or standard Squeeziness results). Performance Comparison Run: python3 validatingSqueeziness_RQ3/compare_squeezinessFast.py to analyse the performance of FastSqueeziness compared with Squeeziness. Additional Materials Additional experiments, exploratory analyses, and investigations are available in the: .experimentations/ folder.