{"id":"W2166906534","doi":"10.1109/infcom.1993.253243","title":"A unified approach to protocol test sequence generation","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":78,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Executable; Extended finite-state machine; Computer science; Constraint satisfaction problem; Sequence (biology); Theoretical computer science; Control flow; Finite-state machine; Control flow graph; Constraint (computer-aided design); Algorithm; Data flow diagram; Construct (python library); Graph; Data-flow analysis; Data mining; Programming language; Artificial intelligence; Mathematics; Database","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.003776906,0.001322452,0.001316,0.003408226,0.0009908467,0.003207763,0.003161792,0.001827947,0.006288102],"category_scores_gemma":[0.0100381,0.00108692,0.002177529,0.002380839,0.001899081,0.003586568,0.003080431,0.002972323,0.002113547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001200031,"about_ca_system_score_gemma":0.003457838,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001790275,"about_ca_topic_score_gemma":0.00204384,"domain_scores_codex":[0.9932449,0.002024159,0.0005871928,0.0009750192,0.002809507,0.0003592719],"domain_scores_gemma":[0.9946364,0.001572415,0.0002827395,0.001790046,0.001582294,0.0001360674],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001276208,0.0002239,0.0006326088,0.000400063,0.0001283467,0.0003633736,0.0004012162,0.08077522,0.01338434,0.415259,0.008221441,0.4800828],"study_design_scores_gemma":[0.0001095037,0.0002344147,0.0002642369,0.0002002254,0.0001294428,0.0005880206,0.0001359189,0.7241112,0.01773859,0.2040085,0.05238885,0.00009102764],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000361794,0.00003728036,0.9977458,0.00004421178,0.00001589534,0.00009990711,0.00002652915,0.0007050686,0.0009634715],"genre_scores_gemma":[0.02264113,0.0001511197,0.9747131,0.00009902834,0.00003442853,0.0005449279,0.0002629582,0.0002412626,0.00131209],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006288102,"threshold_uncertainty_score":0.02103585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1454376875956754,"score_gpt":0.3096379636175179,"score_spread":0.1642002760218425,"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."}}