{"id":"W4237956829","doi":"10.1145/2016603.1967693","title":"Software debugging and testing using the abstract diagnosis theory","year":2011,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Observability; Debugging; Dependency (UML); Program slicing; Controllability; Variable (mathematics); Source code; Set (abstract data type); A priori and a posteriori; Context (archaeology); Algorithm; Programming language; Theoretical computer science; Mathematics","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.0008414573,0.0001779172,0.0001458796,0.0000842498,0.0004358788,0.0002326556,0.001338529,0.00006206737,0.00001209575],"category_scores_gemma":[0.005196445,0.0001242768,0.00003278447,0.0002698294,0.0001196398,0.0004650608,0.0006170947,0.0001931187,0.000007471014],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001595841,"about_ca_system_score_gemma":0.00004262619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005006721,"about_ca_topic_score_gemma":0.00001043714,"domain_scores_codex":[0.998843,0.00008430558,0.0002035972,0.0003651075,0.0001855761,0.0003183739],"domain_scores_gemma":[0.9929953,0.005816245,0.000172017,0.0008655889,0.00007357816,0.00007724837],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008989212,0.00006867771,0.5946072,0.00006700737,0.00004655738,0.00009635177,0.005663409,0.00004498521,0.0001111184,0.002623284,0.001176079,0.3954863],"study_design_scores_gemma":[0.0003365968,0.0002570813,0.4377718,0.0008097811,0.0001485573,0.000325276,0.0001824349,0.02755667,0.005564255,0.5255604,0.0003279216,0.001159162],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.702598,0.001783776,0.277207,0.0003295768,0.0004499925,0.0003618915,0.000006059916,0.01573865,0.001524982],"genre_scores_gemma":[0.6002288,0.000004180764,0.3994243,0.0002725113,0.00004264178,0.00001205449,3.488983e-7,0.00001092354,0.000004296383],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5229372,"threshold_uncertainty_score":0.6221005,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1347896903568171,"score_gpt":0.2871442692147855,"score_spread":0.1523545788579684,"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."}}