{"id":"W2747184587","doi":"10.1016/bs.adcom.2017.06.002","title":"Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey","year":2017,"lang":"en","type":"book-chapter","venue":"Advances in computers","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke; Concordia University","funders":"","keywords":"Extended finite-state machine; Computer science; Conformance testing; Finite-state machine; Standardization; Data flow diagram; Software; Deterministic finite automaton; Database; Programming language; Operating 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002061694,0.000302969,0.0005826429,0.0001458813,0.0002270085,0.0002616249,0.004382195,0.0001370419,7.23328e-7],"category_scores_gemma":[0.001007807,0.0002458477,0.0000351747,0.00006024609,0.000370729,0.0006943758,0.001679088,0.0003963892,0.000005643759],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004681847,"about_ca_system_score_gemma":0.0001047118,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003250851,"about_ca_topic_score_gemma":0.00007191107,"domain_scores_codex":[0.9981174,0.0002196624,0.0005106474,0.0006159828,0.000313512,0.0002228137],"domain_scores_gemma":[0.988265,0.00682953,0.0008678357,0.003774656,0.0002140061,0.00004895129],"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.00003786491,0.00006865212,0.003654992,0.000359603,0.000180094,0.00008111726,0.0004763133,0.01274713,0.000003771532,0.0852486,0.01491121,0.8822306],"study_design_scores_gemma":[0.0003140483,0.00009626822,0.001205618,0.002283819,0.00002009989,0.00005656591,5.489009e-7,0.9035076,5.975947e-7,0.08190032,0.01026162,0.0003528601],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001580735,0.03630297,0.8696651,0.0004135429,0.001125966,0.001258788,0.000280067,0.003245966,0.08769173],"genre_scores_gemma":[0.1046519,0.001996872,0.8903663,0.0003397275,0.0002392193,0.00004138477,0.0002764362,0.0001111784,0.001977081],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8907605,"threshold_uncertainty_score":0.9999994,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05862950462809106,"score_gpt":0.2960163358215894,"score_spread":0.2373868311934983,"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."}}