{"id":"W2906649690","doi":"10.1109/icse-nier.2019.00023","title":"On Testing Quantum Programs","year":2019,"lang":"en","type":"article","venue":"","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Sketch; Software; Set (abstract data type); Field (mathematics); Quantum computer; Position (finance); Quantum","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01621111,0.001413623,0.001529791,0.002460319,0.002575404,0.004104628,0.003748042,0.005633833,0.00736874],"category_scores_gemma":[0.1462851,0.0007998873,0.00154873,0.002487747,0.01444053,0.01857641,0.006502852,0.005483831,0.001030234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002598883,"about_ca_system_score_gemma":0.002959875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00445755,"about_ca_topic_score_gemma":0.002129181,"domain_scores_codex":[0.9742342,0.01372465,0.001238976,0.002531381,0.006632437,0.001638487],"domain_scores_gemma":[0.8259346,0.1482836,0.002638111,0.01272667,0.008486873,0.001930065],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002557458,0.0002472856,0.004975293,0.000491428,0.00008688534,0.0005699803,0.00113265,0.02567206,0.00256163,0.8453581,0.01011742,0.1085316],"study_design_scores_gemma":[0.00006425853,0.0001942028,0.0007131908,0.0003295304,0.00003472851,0.0003124217,0.000411541,0.06203745,0.00346864,0.9215309,0.01085012,0.00005300982],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1249509,0.004599309,0.7458969,0.04611235,0.001435521,0.0004795782,0.0005607777,0.001992048,0.07397261],"genre_scores_gemma":[0.7873638,0.00337819,0.1917079,0.00747826,0.001378175,0.0006602885,0.0007619751,0.0006679787,0.006603467],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01621111,"threshold_uncertainty_score":0.08573353,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01633815849209369,"score_gpt":0.2273996249265239,"score_spread":0.2110614664344302,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}