{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007070682,0.001280092,0.0007633017,0.002273156,0.0009355882,0.004097103,0.002607302,0.001590011,0.007618873],"category_scores_gemma":[0.01891565,0.001326504,0.001619427,0.001297865,0.002373213,0.01045787,0.003533323,0.005911741,0.002628358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001679576,"about_ca_system_score_gemma":0.002822351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001624877,"about_ca_topic_score_gemma":0.001586821,"domain_scores_codex":[0.9900391,0.00334995,0.0005598731,0.001694134,0.003941716,0.0004152832],"domain_scores_gemma":[0.9818767,0.008227987,0.0008049494,0.006866675,0.001972334,0.0002512633],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001096069,0.00007652728,0.001097723,0.0005066914,0.0000600611,0.0001671854,0.0007739738,0.02093497,0.01107144,0.4798666,0.009522025,0.4758132],"study_design_scores_gemma":[0.0001033877,0.0002251204,0.001024905,0.000722957,0.0001049217,0.000828431,0.0002554518,0.1753207,0.02623865,0.386612,0.4084217,0.0001417751],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00301852,0.002361177,0.9816861,0.001465588,0.0002029992,0.00004807787,0.00006212116,0.003456558,0.007698738],"genre_scores_gemma":[0.1019733,0.005376783,0.8833196,0.0007659759,0.0003869895,0.0001227556,0.000289266,0.001161169,0.006604168],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007618873,"threshold_uncertainty_score":0.03739375,"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."}}