Replication package for our paper entitled "Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements"

-Experiment1 Contains the source files for experiment 1 and the study subjects. -Experiment2 Contains the source files for experiment 2 and a mutation generator. -results Contains the results from experiment 1 and 2 and postprocessing files -RQ1,RQ2,RQ3 Contains source files for figures, tables and data for each research question of the paper Please inspect the README.txt file for more details.