{"id":"W2132848397","doi":"10.5555/1950815.1950914","title":"Managing complexity in design debugging with sequential abstraction and refinement","year":2011,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Abstraction; Algorithmic program debugging; TRACE (psycholinguistics); Programming language; Design flow; Computer engineering; Parallel computing; Theoretical computer science; Algorithm; Embedded system","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.003241873,0.0007342121,0.0007145416,0.001058288,0.0006176902,0.0008341137,0.001513773,0.0006301747,0.001656337],"category_scores_gemma":[0.01165904,0.0005304582,0.0009119131,0.0008437443,0.001209995,0.002416947,0.002042736,0.001250826,0.0002999256],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000766395,"about_ca_system_score_gemma":0.001226043,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002709901,"about_ca_topic_score_gemma":0.003012366,"domain_scores_codex":[0.9971059,0.001307642,0.0002241386,0.000304139,0.0008327814,0.0002253429],"domain_scores_gemma":[0.9904366,0.005515843,0.0009203019,0.00218537,0.0007752347,0.0001665887],"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.0005368176,0.0001748716,0.005503984,0.000309376,0.0001190828,0.0003606119,0.001034724,0.4414195,0.03564404,0.03865934,0.001844625,0.4743931],"study_design_scores_gemma":[0.00005762795,0.0001590992,0.0004083514,0.00003741057,0.00004663606,0.0002346667,0.00009101981,0.9583092,0.01606487,0.02201647,0.002553028,0.00002163581],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02460494,0.0001178243,0.9738871,0.0001027939,0.000008845646,0.00005632556,0.00001114216,0.0006290235,0.0005819142],"genre_scores_gemma":[0.3765411,0.0001255986,0.6222969,0.00005868437,0.00001686175,0.00008222186,0.00006087346,0.0001104963,0.0007072428],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003241873,"threshold_uncertainty_score":0.01714486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1836093713931212,"score_gpt":0.2632638903698208,"score_spread":0.07965451897669959,"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."}}