{"id":"W4234836192","doi":"10.1145/2345141.1967693","title":"Software debugging and testing using the abstract diagnosis theory","year":2012,"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); Set (abstract data type); Source code; A priori and a posteriori; 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.001224578,0.0001764035,0.0001439254,0.0000769626,0.0004803798,0.0002977263,0.001038233,0.00006226954,0.00000676459],"category_scores_gemma":[0.006800782,0.0001225244,0.00003188054,0.000274821,0.00009463278,0.0007570744,0.0006098785,0.0001988244,0.00000913282],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002231982,"about_ca_system_score_gemma":0.00003208309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001835425,"about_ca_topic_score_gemma":0.000003312723,"domain_scores_codex":[0.9987884,0.00009677342,0.0001908596,0.000266893,0.0002131301,0.0004439226],"domain_scores_gemma":[0.9890731,0.009813259,0.0001621541,0.0007819581,0.00005752273,0.0001120272],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.000002727311,0.00004341082,0.7634576,0.00004244164,0.00002374017,0.00001115367,0.001888167,0.0000692978,0.0001034001,0.0013168,0.00126563,0.2317756],"study_design_scores_gemma":[0.0004417962,0.0001809608,0.7764336,0.001008334,0.0002205847,0.0005244425,0.0002293482,0.03304899,0.005072656,0.1791604,0.002011388,0.00166749],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7836789,0.004439727,0.1982977,0.0006460914,0.0005873595,0.0002892642,0.00000527483,0.01157454,0.0004811344],"genre_scores_gemma":[0.6709768,0.000004821491,0.3284844,0.0003677103,0.0001360318,0.00001312983,5.757512e-7,0.00001194703,0.00000467678],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2301081,"threshold_uncertainty_score":0.8141662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08703010010577043,"score_gpt":0.3037358530034371,"score_spread":0.2167057528976666,"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."}}