{"id":"W1877887853","doi":"10.1007/978-0-387-35516-0_18","title":"An Approach for Testing Real Time Protocol Entities","year":2000,"lang":"en","type":"book-chapter","venue":"IFIP advances in information and communication technology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal; Université de Montréal; Université de Sherbrooke","funders":"","keywords":"Computer science; Protocol (science); Transformation (genetics); Test (biology); Architecture; State (computer science); Programming language; Embedded system","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.000577036,0.0002281128,0.0002744404,0.0007579939,0.0002150087,0.0001521418,0.00163561,0.0004399476,0.00001383315],"category_scores_gemma":[0.00009460039,0.0002437831,0.00003062321,0.0002093992,0.0002900067,0.003965627,0.0002353707,0.0003828395,0.00002408098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009066439,"about_ca_system_score_gemma":0.00007000635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004929539,"about_ca_topic_score_gemma":0.000002146641,"domain_scores_codex":[0.9986056,0.00004675658,0.0007552699,0.0002397053,0.0001605226,0.0001921579],"domain_scores_gemma":[0.9976484,0.0001115288,0.0006301951,0.001357552,0.0002172265,0.00003507853],"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.00001042139,0.00001088311,0.00000581433,0.00006187549,0.000002083836,2.978343e-8,0.0001385824,0.0001058313,0.000005476841,0.5906908,0.00001011304,0.4089581],"study_design_scores_gemma":[0.0005384432,0.0002092457,0.0000166268,0.0001315939,0.000005216919,0.00002119714,0.00008912959,0.1421962,0.0001913994,0.4276644,0.4285479,0.0003886333],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.00000552924,0.0002393154,0.3635419,0.00009049464,0.00003446337,0.01784473,0.0000143298,0.0006890939,0.6175402],"genre_scores_gemma":[0.0001382145,0.001163536,0.9634859,0.00007657467,0.0000135656,0.03293777,0.000159353,0.00001644425,0.002008614],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6155316,"threshold_uncertainty_score":0.9941185,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02392288909567344,"score_gpt":0.3132298438549818,"score_spread":0.2893069547593083,"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."}}