{"id":"W2163733344","doi":"10.5555/882452.874405","title":"Incremental Diagnosis and Correction of Multiple Faults and Errors","year":2002,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Heuristics; Computer science; Debugging; Algorithm; Simple (philosophy); Fault (geology); Fault coverage; Computer engineering; Electronic circuit; Programming language","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.00005729579,0.00004251203,0.00005811825,0.00003680462,0.00005479246,0.00001729919,0.00006525513,0.00001633083,0.00001485477],"category_scores_gemma":[0.00006051424,0.00003755672,0.000009407597,0.00009439833,0.00002423276,0.0001870602,0.00006215144,0.00002904372,0.000002506744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005399682,"about_ca_system_score_gemma":0.000001446117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002359913,"about_ca_topic_score_gemma":0.00006350082,"domain_scores_codex":[0.999638,0.00001177323,0.00008193542,0.0001294821,0.00006536913,0.00007346569],"domain_scores_gemma":[0.9997516,0.00009904301,0.00002992802,0.00007038607,0.0000144687,0.00003459693],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[5.548988e-8,0.00003254451,0.5110072,0.000006809988,0.000003566017,0.000001639428,0.0004999399,0.0000113035,0.001288057,0.0001307284,0.0004245031,0.4865937],"study_design_scores_gemma":[0.0003640023,0.0001064257,0.1614211,0.00003352264,0.000004152778,0.0000274599,0.0001603931,0.8272032,0.01030147,0.00006478666,0.0001954628,0.0001180231],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9830359,0.0001504904,0.01310437,0.00009572355,0.000110597,0.00004697103,4.74924e-7,0.000053069,0.003402375],"genre_scores_gemma":[0.9989134,0.00003509883,0.0008910933,0.0000609768,0.00000980499,0.000002831755,1.668823e-7,0.00000161822,0.00008501953],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8271919,"threshold_uncertainty_score":0.1531519,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03230153062003847,"score_gpt":0.2279217475843258,"score_spread":0.1956202169642874,"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."}}