{"id":"W40826477","doi":"10.1007/978-0-387-35516-0_2","title":"Structural Coverage for Lotos","year":2000,"lang":"en","type":"book-chapter","venue":"IFIP advances in information and communication technology","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science","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.0001598099,0.0001886741,0.0002337266,0.0006188254,0.0001491135,0.0000932447,0.001094915,0.0003456957,0.00001250858],"category_scores_gemma":[0.00009603237,0.0001950825,0.00003566782,0.0001123049,0.0001679478,0.001377461,0.0002813037,0.0003555059,0.00001524051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000589083,"about_ca_system_score_gemma":0.00004131814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004819871,"about_ca_topic_score_gemma":0.000009321662,"domain_scores_codex":[0.9990845,0.00001104095,0.000479958,0.0001660617,0.0001074307,0.0001510255],"domain_scores_gemma":[0.998307,0.0002099608,0.0003377119,0.00101283,0.000108186,0.00002433685],"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.000003685163,0.000001254957,0.00001896777,0.00001754284,0.00000179036,1.128332e-7,0.00006764539,0.00001492756,7.229955e-8,0.5047217,0.0001860225,0.4949663],"study_design_scores_gemma":[0.0001686023,0.00004081278,0.000008017388,0.00009707991,0.000001847252,0.00001690495,0.000002867858,0.003360004,0.00001284692,0.631196,0.3649506,0.0001444232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.0001211276,0.02344968,0.471496,0.002868583,0.0002896081,0.001931057,0.00005954885,0.01480223,0.4849821],"genre_scores_gemma":[0.1529912,0.09623477,0.7342725,0.003158793,0.00005720444,0.001092533,0.0006233227,0.00008042493,0.01148919],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4948218,"threshold_uncertainty_score":0.7955234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01079385526025135,"score_gpt":0.2619111293880397,"score_spread":0.2511172741277883,"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."}}