{"id":"W4237989195","doi":"10.1145/2398857.2384623","title":"Predicate abstraction of Java programs with collections","year":2012,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Predicate abstraction; Programming language; Java; Java Modeling Language; Generics in Java; Predicate (mathematical logic); Java annotation; Scalability; Java concurrency; Model checking; Real time Java; 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.0002685229,0.00009850541,0.0001309474,0.00007754401,0.0001398208,0.00010974,0.0005178342,0.00005846803,0.00001250634],"category_scores_gemma":[0.00004620562,0.00007020529,0.00003177725,0.0004351608,0.00005939809,0.0005942148,0.00007986854,0.00008645139,0.00004720813],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001685338,"about_ca_system_score_gemma":0.00003874533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003177062,"about_ca_topic_score_gemma":0.0001045345,"domain_scores_codex":[0.9990884,0.00003997173,0.0001807724,0.0001722794,0.0002471685,0.0002714053],"domain_scores_gemma":[0.9990556,0.00009489352,0.0002064907,0.0004713032,0.000072846,0.00009881805],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001316911,0.002809127,0.5593081,0.0006503423,0.0005803008,0.00002890642,0.01656348,0.0002945331,0.001914412,0.1970831,0.007768657,0.2128674],"study_design_scores_gemma":[0.004579867,0.006700392,0.3516834,0.0001866877,0.0005387833,0.0007174648,0.003778457,0.007843985,0.03662185,0.01649369,0.5681037,0.002751706],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4625489,0.001777936,0.3976595,0.001314846,0.005356945,0.00272842,0.000007731245,0.001864258,0.1267414],"genre_scores_gemma":[0.9911511,0.000004204577,0.007921224,0.00001747399,0.0001528357,0.0000324803,0.00000578076,0.000006644353,0.0007082603],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.560335,"threshold_uncertainty_score":0.2862889,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03440341311165721,"score_gpt":0.2540499952875848,"score_spread":0.2196465821759276,"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."}}