{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003650673,0.0008408272,0.001149857,0.0023129,0.0009602389,0.0008948927,0.001022832,0.0008622458,0.002298824],"category_scores_gemma":[0.01874272,0.0004546588,0.001113964,0.001013736,0.001390531,0.001656946,0.001260055,0.001236805,0.0003791636],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000439334,"about_ca_system_score_gemma":0.002307609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005536983,"about_ca_topic_score_gemma":0.001090649,"domain_scores_codex":[0.9965026,0.001233658,0.0003439581,0.0006694698,0.0009646747,0.0002856586],"domain_scores_gemma":[0.9830949,0.01257701,0.0009316381,0.001843527,0.001285393,0.0002675705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001702746,0.001051128,0.02465336,0.001024113,0.0003615583,0.0006909058,0.0006986045,0.1483931,0.3157701,0.08677847,0.006277959,0.412598],"study_design_scores_gemma":[0.0004362307,0.0009870874,0.005425242,0.0001139884,0.0002808432,0.0007187284,0.0003694121,0.6629816,0.2155156,0.1069585,0.006102187,0.0001106045],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3551495,0.0001439406,0.6398425,0.0001714798,0.00001983085,0.0002914525,0.0004555472,0.001857896,0.002067883],"genre_scores_gemma":[0.4602637,0.00005897689,0.5373479,0.0001119126,0.00001732383,0.0005023621,0.0007908755,0.0004411021,0.0004658545],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003650673,"threshold_uncertainty_score":0.0193069,"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."}}