{"id":"W2538348493","doi":"10.1109/mutation.2006.7","title":"Finding Sufficient Mutation Operators via Variable Reduction","year":2006,"lang":"en","type":"article","venue":"","topic":"Evolutionary Algorithms and Applications","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Set (abstract data type); Reduction (mathematics); Mutation; Variable (mathematics); Computer science; Carry (investment); Mutation testing; Algorithm; Mathematics; Programming language","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001186418,0.00005653797,0.00004352238,0.00006053816,0.000240377,0.00008386012,0.000181679,0.00002734249,0.00004419758],"category_scores_gemma":[0.000002660328,0.00005296931,0.00001822061,0.0005152641,0.00001472948,0.00037661,0.00004372786,0.0000430269,0.00008922707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005450039,"about_ca_system_score_gemma":0.00003514662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000249464,"about_ca_topic_score_gemma":0.000002308828,"domain_scores_codex":[0.9993781,0.00001407981,0.0001356846,0.0002157861,0.0001264871,0.0001298611],"domain_scores_gemma":[0.9996651,0.00001317278,0.0000334618,0.0001980736,0.00006303246,0.00002709575],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[3.198615e-7,0.0001169176,0.00005724481,0.000001692856,0.000002102665,8.939722e-7,0.00006112528,0.02417423,0.00899459,0.9602483,0.003472375,0.002870195],"study_design_scores_gemma":[0.0001494454,0.00003134845,0.003418609,0.000004122717,0.000003274971,0.00007185212,0.00004629558,0.9566203,0.006651042,0.02590058,0.006940373,0.0001627041],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02302144,0.00002343912,0.9666443,0.0005820452,0.0002015939,0.0001027805,7.196576e-7,0.0001718486,0.009251773],"genre_scores_gemma":[0.6801386,8.779905e-7,0.3177071,0.00003559495,0.0001117943,0.00002757823,0.00001319129,0.000003180955,0.001962097],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9343477,"threshold_uncertainty_score":0.2160026,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008100574292593496,"score_gpt":0.2261981437002703,"score_spread":0.2180975694076768,"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."}}