{"id":"W2915034041","doi":"10.1109/mtv.2006.1","title":"Abstraction and Refinement Techniques in Automated Design Debugging","year":2006,"lang":"en","type":"article","venue":"Proceedings","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Programming language; Abstraction; Software engineering; Algorithmic program debugging","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.008697695,0.001277179,0.00123133,0.002530804,0.0008656411,0.001574548,0.002506177,0.001353648,0.00191987],"category_scores_gemma":[0.02513252,0.00123924,0.001610805,0.0022993,0.003102645,0.005137232,0.003193512,0.003499803,0.0007910516],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001144382,"about_ca_system_score_gemma":0.001845802,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002705016,"about_ca_topic_score_gemma":0.001998235,"domain_scores_codex":[0.9896926,0.004902691,0.0007085169,0.001035199,0.003130171,0.0005309137],"domain_scores_gemma":[0.9806893,0.01161167,0.001340351,0.004756979,0.001422877,0.0001788031],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002836163,0.00009523831,0.001599486,0.0007280691,0.0001198726,0.0003663436,0.001062402,0.147102,0.01307544,0.2847011,0.003244721,0.5476217],"study_design_scores_gemma":[0.0001415981,0.0002467685,0.0005929247,0.0003485846,0.0001338337,0.0004944522,0.000149121,0.5298144,0.02271489,0.4210369,0.02422043,0.0001060795],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002125508,0.0005858479,0.9958665,0.0001401311,0.0000163658,0.00004360637,0.00001561192,0.0006853229,0.0005210264],"genre_scores_gemma":[0.1275851,0.001389954,0.8692998,0.0001498398,0.00007101001,0.0001774521,0.0001089635,0.0002121249,0.001005818],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008697695,"threshold_uncertainty_score":0.04599833,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01526524897101569,"score_gpt":0.2329327118650491,"score_spread":0.2176674628940334,"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."}}