{"id":"W1966945773","doi":"10.1145/1292316.1292322","title":"An integrated verification environment for JML","year":2007,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Java; Java Modeling Language; Eclipse; Programming language; Assertion; Java annotation; Real time Java; Software engineering","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.0004888906,0.00005537363,0.0000547205,0.00003111899,0.00005488156,0.00006861561,0.0002953779,0.00003814642,0.00001575179],"category_scores_gemma":[0.000006317214,0.00004100422,0.00002459048,0.00006847394,0.00001368992,0.0001690188,0.00001618448,0.00002596247,0.00008080251],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003192437,"about_ca_system_score_gemma":0.00001082537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005933364,"about_ca_topic_score_gemma":0.00001888483,"domain_scores_codex":[0.9994235,0.00001430728,0.0001242484,0.0001975781,0.00008982524,0.000150508],"domain_scores_gemma":[0.9995427,0.00002209176,0.00003819442,0.0003187623,0.00002069553,0.00005755072],"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.000005477643,0.00008401486,0.0003785208,0.000004340905,0.000005082765,0.000001021789,0.0003615659,0.00001300736,0.001865674,0.6161447,0.0003639776,0.3807727],"study_design_scores_gemma":[0.0004288822,0.0004580043,0.004619458,8.515574e-7,0.000004209155,0.000006093876,0.0002504434,0.02420616,0.0166974,0.009336103,0.9437622,0.0002302069],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001247746,0.00002168343,0.9956532,0.0000743234,0.0001975709,0.0002272803,1.619231e-7,0.0001350728,0.002442964],"genre_scores_gemma":[0.9254923,0.000001681703,0.07349122,0.00008292276,0.0000516739,0.00001693445,0.000008788694,0.000003355807,0.0008510975],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9433982,"threshold_uncertainty_score":0.1672103,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02548858365677608,"score_gpt":0.2576253572325021,"score_spread":0.232136773575726,"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."}}