{"id":"W1977585546","doi":"10.1145/2384616.2384623","title":"Predicate abstraction of Java programs with collections","year":2012,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Predicate abstraction; Programming language; Java; Java Modeling Language; Predicate (mathematical logic); Generics in Java; Scalability; Java concurrency; Java annotation; Model checking; Real time Java; Theoretical computer science; Database","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004059455,0.0008173559,0.0008186373,0.001144869,0.001005834,0.002979944,0.001882466,0.000733962,0.001809897],"category_scores_gemma":[0.008098417,0.001008104,0.002952216,0.001232481,0.003472078,0.007632481,0.003395097,0.002778289,0.0003862166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00170388,"about_ca_system_score_gemma":0.002746222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003612634,"about_ca_topic_score_gemma":0.002728456,"domain_scores_codex":[0.9957183,0.001054853,0.0004143788,0.0006113565,0.001677109,0.0005240784],"domain_scores_gemma":[0.9930263,0.003629475,0.0008380648,0.001576435,0.0007838338,0.0001459716],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003969857,0.0001807813,0.004103058,0.0006941077,0.0001467752,0.0008289907,0.001725085,0.1387598,0.04063617,0.7361681,0.003412147,0.07294802],"study_design_scores_gemma":[0.0001303311,0.000210837,0.0007316477,0.000138621,0.0002249416,0.0003556069,0.0002069218,0.5446782,0.0814587,0.342732,0.02903023,0.0001019588],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01177896,0.00005805835,0.9848295,0.0001131073,0.00001914601,0.00005610521,0.00006433157,0.002204002,0.000876794],"genre_scores_gemma":[0.4077894,0.0004741892,0.5870888,0.0003344104,0.0001197579,0.000410257,0.0005057863,0.001265379,0.002012006],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004059455,"threshold_uncertainty_score":0.0214687,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02737492158418297,"score_gpt":0.2417572291361414,"score_spread":0.2143823075519585,"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."}}