{"id":"W2916083331","doi":"","title":"Advances in Debug Automation for a Modern Verification Environment","year":2013,"lang":"en","type":"dissertation","venue":"TSpace (University of Toronto)","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Debugging; Automation; Software engineering; Computer science; Systems engineering; Engineering; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001245115,0.0001343482,0.0002034216,0.00007081119,0.00008070956,0.00001975481,0.0005351797,0.0001547283,0.0001377747],"category_scores_gemma":[0.00003188686,0.0001759339,0.00006955599,0.0000421387,0.00001915277,0.0009369191,0.00004099326,0.00006476577,0.000008069284],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002978496,"about_ca_system_score_gemma":0.00005595896,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01279304,"about_ca_topic_score_gemma":0.005168786,"domain_scores_codex":[0.9992141,0.00003002404,0.0001046806,0.0003291894,0.0001780001,0.0001440485],"domain_scores_gemma":[0.9991585,0.00008391442,0.000277136,0.0003808978,0.00006314299,0.00003642213],"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.00003403952,0.0000897076,0.0001108637,0.0002151541,0.00001017265,0.000001228857,0.01333806,0.0001377521,0.0004218024,0.001704601,0.001026581,0.98291],"study_design_scores_gemma":[0.00122562,0.0005369094,0.185715,0.0007800124,0.00007358135,0.000002428287,0.002254392,0.7797863,0.0007792445,0.02429756,0.003497315,0.001051546],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01538219,0.002571364,0.9693022,0.0001679888,0.0002137049,0.0008021799,0.000005947952,0.001896825,0.009657575],"genre_scores_gemma":[0.572442,0.001405901,0.4231241,0.000009239135,0.00001844204,0.00001381445,0.0001692942,0.00001717626,0.002799996],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9818585,"threshold_uncertainty_score":0.9937809,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01265847512777216,"score_gpt":0.2480023202886846,"score_spread":0.2353438451609125,"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."}}