{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00017853,0.00009398665,0.00007393678,0.000079422,0.00009308933,0.0001794477,0.0005470399,0.0000376419,0.00001366566],"category_scores_gemma":[0.0003108249,0.00007793412,0.00001943344,0.0004519757,0.00001364747,0.0002091128,0.000123452,0.00004709121,0.000106504],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003117865,"about_ca_system_score_gemma":0.00001435363,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002946375,"about_ca_topic_score_gemma":0.000001035476,"domain_scores_codex":[0.9991596,0.00002545963,0.0001342871,0.0003286995,0.0001753502,0.0001766427],"domain_scores_gemma":[0.9992046,0.00007560457,0.00003105243,0.00053295,0.00007216931,0.00008367308],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001651447,0.0006810869,0.002318916,0.00004167901,0.000005438637,0.00001380905,0.001241189,0.0002896785,0.01218964,0.04587084,0.7534091,0.183937],"study_design_scores_gemma":[0.000130904,0.0001706586,0.0001375239,0.00001309039,8.750309e-7,0.00004145402,9.013331e-7,0.9811134,0.006911736,0.004202877,0.007046246,0.0002303483],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007516974,8.615552e-7,0.9424853,0.0004558868,0.00002298459,0.01461945,3.215778e-7,0.01019368,0.03214639],"genre_scores_gemma":[0.06901249,8.217849e-8,0.887433,0.001067219,0.00006114177,0.0410522,6.29892e-7,0.000006502245,0.001366762],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9808237,"threshold_uncertainty_score":0.3178061,"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."}}