{"id":"W2117158482","doi":"","title":"Automated debugging of missing input constraints in a formal verification environment","year":2012,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Intuition; Formal verification; Documentation; Process (computing); Function (biology); Algorithmic program debugging; Set (abstract data type); Missing data; False positive paradox; Formal methods; Programming language; Data mining; Artificial intelligence; Machine learning","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001011308,0.00007092453,0.0000983753,0.0001142275,0.00003566976,0.00001909102,0.0002705407,0.00004733031,0.0000300854],"category_scores_gemma":[0.00005956182,0.00006865337,0.00002042584,0.0001829275,0.00006904559,0.001200535,0.00008482593,0.00006117725,0.00002705148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000753038,"about_ca_system_score_gemma":0.00002565273,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001041662,"about_ca_topic_score_gemma":2.184603e-7,"domain_scores_codex":[0.9990693,0.00009629612,0.0002915965,0.0001274884,0.0001595912,0.0002556925],"domain_scores_gemma":[0.9994544,0.0000426501,0.0001206018,0.0003144376,0.0000125636,0.00005535376],"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.000008031055,0.00021345,0.006849858,0.00004275585,0.00000944784,9.858181e-7,0.003401873,0.0003374281,0.07321031,0.1784782,0.00003776586,0.7374099],"study_design_scores_gemma":[0.0002547116,0.00002849811,0.1304947,0.00002688349,0.000002893896,0.0000201046,0.00006477477,0.7570245,0.1112489,0.0003644357,0.0003331587,0.0001365035],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08425926,0.00004178982,0.9119127,0.00006542615,0.0001131826,0.0001172635,3.874167e-7,0.0001913333,0.003298605],"genre_scores_gemma":[0.5432147,0.000002021039,0.4567406,0.00002399986,0.000005703554,0.000005239393,8.980514e-7,0.00000213756,0.000004653094],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.756687,"threshold_uncertainty_score":0.2799603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03258323140663232,"score_gpt":0.2917010949930042,"score_spread":0.2591178635863718,"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."}}