{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01896096,0.001396956,0.002266264,0.006772099,0.001700544,0.004491993,0.002163049,0.002491251,0.001834573],"category_scores_gemma":[0.1499097,0.001125498,0.001430951,0.004093606,0.00305057,0.01146579,0.001674604,0.001098536,0.001271536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001168956,"about_ca_system_score_gemma":0.001987561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004900286,"about_ca_topic_score_gemma":0.006477379,"domain_scores_codex":[0.9732215,0.0115046,0.001465574,0.002642157,0.009972978,0.001193249],"domain_scores_gemma":[0.7781169,0.1744196,0.01036415,0.01524211,0.01982138,0.002035831],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001165624,0.0006442418,0.2509262,0.001133455,0.0007316762,0.000359708,0.00218781,0.01168406,0.02252979,0.00313366,0.002747945,0.7027557],"study_design_scores_gemma":[0.0005620642,0.01150945,0.4624751,0.00257498,0.003982684,0.007536162,0.01440697,0.2907147,0.1018063,0.07963059,0.02340146,0.001399537],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7310306,0.01127669,0.2241984,0.008347528,0.0004642595,0.000216497,0.0003384028,0.005902049,0.01822561],"genre_scores_gemma":[0.9310397,0.001984859,0.06501948,0.0004814563,0.0001359067,0.00003774435,0.0001285489,0.0003603586,0.0008118433],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01896096,"threshold_uncertainty_score":0.1002763,"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."}}