{"id":"W2139555094","doi":"10.1007/11804192_16","title":"Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":194,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008870688,0.0009466995,0.0008327196,0.0009748914,0.00119237,0.005162142,0.003953537,0.001677722,0.008200912],"category_scores_gemma":[0.01800594,0.001425309,0.002013574,0.000843955,0.002800518,0.008504779,0.003525351,0.003380205,0.003157621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008343363,"about_ca_system_score_gemma":0.002495017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003223238,"about_ca_topic_score_gemma":0.003686633,"domain_scores_codex":[0.9942659,0.001675506,0.0005166683,0.0006300884,0.002386825,0.0005250889],"domain_scores_gemma":[0.9878033,0.006321051,0.0007237098,0.003006385,0.00193244,0.0002131521],"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.0004594673,0.0003566928,0.002620832,0.0009191551,0.0001152966,0.0007770974,0.001597736,0.03327372,0.02320469,0.6215381,0.0202768,0.2948605],"study_design_scores_gemma":[0.0001545735,0.0001087721,0.0006626459,0.0003919612,0.0001339388,0.0004380403,0.0002379899,0.3773426,0.07345865,0.4747798,0.07218695,0.0001039248],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005534394,0.0001292527,0.9820864,0.0003784556,0.00007860332,0.0001023285,0.0002350158,0.006621513,0.004834131],"genre_scores_gemma":[0.1388101,0.0003887384,0.8479351,0.0004165332,0.00009952259,0.000185221,0.001162244,0.003463526,0.007538922],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008870688,"threshold_uncertainty_score":0.04691327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01348485921094149,"score_gpt":0.2272539903716622,"score_spread":0.2137691311607207,"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."}}