{"id":"W2060107892","doi":"10.1109/scam.2010.26","title":"How Good is Static Analysis at Finding Concurrency Bugs?","year":2010,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Concurrency; Interleaving; Static analysis; Thread (computing); Java; Software bug; Debugging; Spurious relationship; Programming language; Software; Operating system; Parallel computing","routes":{"ca_aff":true,"ca_fund":true,"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.0002618062,0.0001316902,0.0001863482,0.000243466,0.0001563419,0.0003514258,0.0007271025,0.00006262909,0.0001058205],"category_scores_gemma":[0.0002745073,0.0001097231,0.0001141413,0.0009835365,0.00004025321,0.0002889984,0.0002965103,0.0001733715,0.00004556717],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002356628,"about_ca_system_score_gemma":0.00003131009,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007356236,"about_ca_topic_score_gemma":0.00003902062,"domain_scores_codex":[0.9989271,0.00002544955,0.0001422706,0.0003877239,0.0002509041,0.0002665074],"domain_scores_gemma":[0.9986059,0.0003467382,0.00009199785,0.0007711439,0.00008020372,0.0001040056],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001886696,0.0001527718,0.565423,0.0000438164,0.0004152159,0.00004635001,0.00286772,0.000008832299,0.003016926,0.04637885,0.2220864,0.1595582],"study_design_scores_gemma":[0.0008361877,0.0003314214,0.0580227,0.0000636198,0.0005576126,0.0001095766,0.00003422612,0.6776014,0.05172553,0.1705562,0.03799743,0.002164101],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06870677,0.00002758473,0.9174176,0.002351623,0.000278331,0.00007927556,0.000003962435,0.008472907,0.002661964],"genre_scores_gemma":[0.700594,0.000001679632,0.296666,0.0003742551,0.00002269993,0.000008086159,0.000002436181,0.000005003248,0.00232579],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6775926,"threshold_uncertainty_score":0.447438,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02324923683858562,"score_gpt":0.2784057360787849,"score_spread":0.2551564992401993,"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."}}