{"id":"W1982547276","doi":"10.1109/aspdac.2014.6742977","title":"Automated debugging of missing assumptions","year":2014,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Vennsa Technologies (Canada); University of Toronto","funders":"","keywords":"Assertion; Debugging; Computer science; Function (biology); Set (abstract data type); Automation; Missing data; Programming language; Algorithm; Machine learning; Engineering","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.009283315,0.0017027,0.00133719,0.002250441,0.0009794608,0.002024794,0.003064401,0.001580461,0.004347869],"category_scores_gemma":[0.05114777,0.001293516,0.001270739,0.000827555,0.001785242,0.004855265,0.003093208,0.002129261,0.001161148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001048602,"about_ca_system_score_gemma":0.002385567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009685867,"about_ca_topic_score_gemma":0.001451982,"domain_scores_codex":[0.9863209,0.005893358,0.0009469984,0.00153981,0.004592858,0.0007061306],"domain_scores_gemma":[0.9281381,0.04756442,0.004488653,0.01493364,0.004494329,0.0003808275],"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.0019918,0.0005132819,0.02779534,0.002115668,0.0003410024,0.004402796,0.003537837,0.1617783,0.0724933,0.1176946,0.0116241,0.595712],"study_design_scores_gemma":[0.0002673579,0.0006343511,0.003148747,0.000849702,0.0003213742,0.002174491,0.0005969757,0.6470506,0.1776553,0.1299394,0.03717345,0.0001882696],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06684794,0.0004023271,0.9172683,0.0004656815,0.0001222982,0.0001340367,0.0003067005,0.01211056,0.0023423],"genre_scores_gemma":[0.5760596,0.0003425086,0.4193577,0.0002563938,0.00004541166,0.000161873,0.0007013396,0.001281914,0.001793199],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009283315,"threshold_uncertainty_score":0.04909545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03061040643684019,"score_gpt":0.3183317555864713,"score_spread":0.287721349149631,"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."}}