{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001860361,0.0003152431,0.0003334769,0.0002684733,0.001064571,0.0007452376,0.00448017,0.0000930348,0.00000266683],"category_scores_gemma":[0.001147875,0.0003237751,0.0001133938,0.0007496486,0.0002206462,0.0007967215,0.0009930019,0.0003991083,0.00002728166],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001304005,"about_ca_system_score_gemma":0.0003447876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003231341,"about_ca_topic_score_gemma":0.00008916064,"domain_scores_codex":[0.996898,0.0009372364,0.0008768738,0.0005759721,0.0003120683,0.0003998672],"domain_scores_gemma":[0.9899274,0.003356549,0.000638891,0.004930926,0.001007921,0.0001382873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004351852,0.001388588,0.003788612,0.000213782,0.0001830683,0.000009275113,0.009546468,0.01480222,0.0009267327,0.2501138,0.005030215,0.7139537],"study_design_scores_gemma":[0.0004101117,0.0001285546,0.0004587311,0.0001888912,0.000008887507,0.00003988642,0.00000893341,0.6320021,0.0007784809,0.3627016,0.002955728,0.0003181353],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00128715,0.0002863347,0.9854382,0.001013606,0.00008570585,0.006809618,0.00001946084,0.00449304,0.0005669271],"genre_scores_gemma":[0.400666,0.00004403188,0.591543,0.000361403,0.000008809596,0.007145124,0.00004536058,0.00002677021,0.0001594815],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7136356,"threshold_uncertainty_score":0.9999214,"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."}}