{"id":"W2157827846","doi":"10.1145/1967677.1967693","title":"Software debugging and testing using the abstract diagnosis theory","year":2011,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Observability; Debugging; Dependency (UML); Controllability; Program slicing; Variable (mathematics); Context (archaeology); Set (abstract data type); Algorithm; Theoretical computer science; Programming language; 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.0007871167,0.0001351114,0.0001045713,0.00006680875,0.0003543664,0.0001543732,0.0005970024,0.000044474,0.00001864916],"category_scores_gemma":[0.001461057,0.00008763804,0.00003028186,0.0002699542,0.00009077654,0.0003245003,0.0003593632,0.0001416935,0.000004746937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001619584,"about_ca_system_score_gemma":0.0000391939,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004059096,"about_ca_topic_score_gemma":0.000003524978,"domain_scores_codex":[0.9990916,0.00005368471,0.0001645968,0.0002964323,0.0001361887,0.000257452],"domain_scores_gemma":[0.9972674,0.002023702,0.00008279807,0.0004908526,0.00007207647,0.00006317108],"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.000002933247,0.00005560809,0.3190759,0.00002359615,0.00002308348,0.00003979509,0.002358999,0.00001084359,0.00007407435,0.0141221,0.001673093,0.66254],"study_design_scores_gemma":[0.0001750148,0.0001137554,0.1673008,0.0002973003,0.00003950492,0.0003730839,0.00006117519,0.04241326,0.005354865,0.7830605,0.0001541051,0.0006566384],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05035522,0.0003038296,0.9347367,0.00007377734,0.0001017082,0.0001207767,4.464645e-7,0.01183192,0.002475595],"genre_scores_gemma":[0.5063235,0.000002680154,0.4933163,0.0003065661,0.00001911234,0.00001172638,6.416101e-8,0.000007758146,0.00001238863],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7689384,"threshold_uncertainty_score":0.3573775,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1247948414793814,"score_gpt":0.2763130847643124,"score_spread":0.151518243284931,"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."}}