{"id":"W2044138969","doi":"10.1016/s0140-3664(03)00116-6","title":"Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines","year":2003,"lang":"en","type":"article","venue":"Computer Communications","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University; Nortel (Canada)","funders":"","keywords":"Extended finite-state machine; Computer science; Finite-state machine; Executable; Observability; Sequence (biology); Identification (biology); Conformance testing; Context (archaeology); State (computer science); Theoretical computer science; Control flow; Algorithm; Mathematics; Programming language","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.00779979,0.001701642,0.001712406,0.002290123,0.0008506042,0.001629306,0.002828699,0.002228594,0.001772221],"category_scores_gemma":[0.03747699,0.001078118,0.001431887,0.00108978,0.003376587,0.005774654,0.003279116,0.003434232,0.0002666238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001474426,"about_ca_system_score_gemma":0.002583199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001176895,"about_ca_topic_score_gemma":0.00168275,"domain_scores_codex":[0.9874669,0.005591006,0.0009681527,0.001790469,0.003142788,0.001040709],"domain_scores_gemma":[0.9284917,0.05482225,0.004777742,0.007881508,0.002936665,0.001090069],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.004893072,0.001105371,0.01076475,0.001169245,0.0003328228,0.001600416,0.001597208,0.4519784,0.03781598,0.3208598,0.001914941,0.165968],"study_design_scores_gemma":[0.0001686924,0.0005456856,0.0006998522,0.0001587939,0.0001382435,0.0002766168,0.0001108695,0.8143495,0.02725071,0.155444,0.0007861828,0.0000710112],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1464908,0.0002882292,0.8482637,0.0001739975,0.00005416997,0.000206194,0.0001693806,0.003117794,0.001235753],"genre_scores_gemma":[0.8030507,0.0001030736,0.1950382,0.000136927,0.00003083765,0.0003736655,0.0003294992,0.0002504489,0.0006866625],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00779979,"threshold_uncertainty_score":0.04124969,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09491792874771247,"score_gpt":0.3503298570391113,"score_spread":0.2554119282913988,"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."}}