{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007076596,0.000610313,0.0006424222,0.001424399,0.0009570514,0.001661854,0.0008347231,0.0008138135,0.0151659],"category_scores_gemma":[0.004439288,0.0006272508,0.0006762549,0.001350708,0.001150428,0.00512607,0.001696958,0.001430959,0.002490816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007287904,"about_ca_system_score_gemma":0.0005376809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006814669,"about_ca_topic_score_gemma":0.0008229845,"domain_scores_codex":[0.9990195,0.0002135837,0.00006667074,0.0001324122,0.000418361,0.0001493728],"domain_scores_gemma":[0.9967782,0.001944814,0.0001560137,0.0006221628,0.0003994347,0.00009931267],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001926682,0.00006074092,0.0008680578,0.0003182442,0.00001975897,0.0002134026,0.0005586728,0.009125764,0.004690434,0.8352953,0.01487431,0.1337826],"study_design_scores_gemma":[0.00002642607,0.00005689026,0.0004185827,0.00008902746,0.00003784623,0.0003249053,0.0001119017,0.0331098,0.004642221,0.9294458,0.03171452,0.00002212076],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1059951,0.001928915,0.7038756,0.002277153,0.0002448358,0.0002178649,0.001613807,0.006878044,0.1769686],"genre_scores_gemma":[0.8916184,0.001188214,0.07186253,0.0005274888,0.0002847451,0.0003378047,0.002256829,0.001387612,0.0305364],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0151659,"threshold_uncertainty_score":0.050735,"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."}}