{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006028085,0.001163262,0.0008546998,0.001299062,0.0007965648,0.001358463,0.001631178,0.001336166,0.002137759],"category_scores_gemma":[0.02929586,0.0007166481,0.0008596493,0.0005781003,0.001289678,0.002070114,0.001178919,0.001296327,0.0005421085],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009084992,"about_ca_system_score_gemma":0.00173241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001809213,"about_ca_topic_score_gemma":0.002329328,"domain_scores_codex":[0.9943159,0.003012542,0.0003966324,0.000675987,0.001252764,0.0003461883],"domain_scores_gemma":[0.9556044,0.03528213,0.002470619,0.003995925,0.00229761,0.0003492926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002226007,0.0009089969,0.02872793,0.001005311,0.0001670553,0.002344308,0.00183383,0.4169142,0.08135713,0.04900526,0.005775745,0.4097341],"study_design_scores_gemma":[0.00008516134,0.0002258423,0.0005527238,0.0001216331,0.00004583279,0.0003469568,0.00006199183,0.9178907,0.06310461,0.01431913,0.003204653,0.00004071724],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0985776,0.00010725,0.88901,0.0002176742,0.00003029109,0.0001085215,0.0001206424,0.01099954,0.0008285712],"genre_scores_gemma":[0.455089,0.00005040067,0.5431101,0.0001035008,0.000009236599,0.00008949623,0.0002815396,0.0007274005,0.0005392816],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006028085,"threshold_uncertainty_score":0.03187996,"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."}}