{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000198482,0.00006229426,0.0000837258,0.00005466813,0.00009014595,0.00006036096,0.000178065,0.00003824689,0.00001958492],"category_scores_gemma":[0.000005316555,0.0000408481,0.00002717129,0.0004423904,0.00003722517,0.0003886445,0.00003127339,0.00005151855,0.00003760453],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001647052,"about_ca_system_score_gemma":0.0000334068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002492334,"about_ca_topic_score_gemma":0.00004910446,"domain_scores_codex":[0.9993584,0.00002036422,0.0001327059,0.0001167554,0.0001743867,0.0001974409],"domain_scores_gemma":[0.9995183,0.00001460593,0.00009098604,0.0002278475,0.00006926831,0.00007894164],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002028433,0.001416293,0.0904219,0.0001035722,0.0001413332,0.000003162082,0.00274156,0.00002916193,0.0006352437,0.7623363,0.006009174,0.136142],"study_design_scores_gemma":[0.00312292,0.004339134,0.1119719,0.00004529557,0.0001421633,0.0008469988,0.001728876,0.0103235,0.04136692,0.01556424,0.8089983,0.001549734],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005920585,0.00007486784,0.868349,0.0001012785,0.0004846582,0.0003483934,1.382148e-7,0.0002965916,0.1244245],"genre_scores_gemma":[0.9854285,0.000002281785,0.009234144,0.00001196426,0.00007272642,0.00003482436,0.000001265093,0.000003793566,0.00521055],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9795079,"threshold_uncertainty_score":0.1665737,"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."}}