{"id":"W4403492851","doi":"10.1145/3689492.3690053","title":"Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results","year":2024,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Static analysis; Programming language; Human–computer interaction","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.0007959717,0.0001126145,0.0001287927,0.000411343,0.00007541821,0.0005677969,0.0004483273,0.00003636839,0.00001846105],"category_scores_gemma":[0.00007203552,0.00009765869,0.0001151355,0.002219669,0.00002754746,0.001583538,0.00009215695,0.0001277908,0.00004520544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009326582,"about_ca_system_score_gemma":0.00005078903,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001370153,"about_ca_topic_score_gemma":0.000009061368,"domain_scores_codex":[0.9986248,0.00004818943,0.0003494302,0.0004403765,0.0002921831,0.0002450229],"domain_scores_gemma":[0.9991473,0.00009269257,0.00005583634,0.0005768139,0.00005086816,0.00007648702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007545945,0.0001225571,0.0002241355,0.00007371163,0.000207765,0.00005806476,0.002604828,0.006305638,0.002084771,0.01852912,0.00007704432,0.9697048],"study_design_scores_gemma":[0.00005747203,0.00004375546,0.006154759,0.0000573714,0.0001136592,0.000004289107,0.0001140617,0.9867735,0.005556798,0.0003084562,0.0006386149,0.000177246],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2242598,0.00005246238,0.7729868,0.00007055037,0.0003507926,0.000169,0.000002359344,0.001001425,0.001106752],"genre_scores_gemma":[0.4275211,0.000006202905,0.5723656,0.000009951785,0.00001830692,0.00003458335,0.00000244566,0.000005561907,0.000036204],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9804679,"threshold_uncertainty_score":0.5475278,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1919825461987711,"score_gpt":0.408192117782729,"score_spread":0.2162095715839579,"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."}}