{"id":"W2016250485","doi":"10.1016/s0140-3664(99)00227-3","title":"Test generation based on control and data dependencies within system specifications in SDL","year":2000,"lang":"en","type":"article","venue":"Computer Communications","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; Instituto de Telecomunicações","keywords":"Computer science; Control flow; Data flow diagram; Programming language; Specification language; Extended finite-state machine; System requirements specification; Control (management); Test data; Finite-state machine; Distributed computing; Software engineering; Database; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.003188671,0.0008138194,0.0005633887,0.001431128,0.0003708744,0.0009482034,0.001046451,0.0008738433,0.00219664],"category_scores_gemma":[0.01633674,0.0006179826,0.000658533,0.000584874,0.001189086,0.001633698,0.001142164,0.001018391,0.0002886934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008907299,"about_ca_system_score_gemma":0.001334511,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002702764,"about_ca_topic_score_gemma":0.003966252,"domain_scores_codex":[0.995454,0.002185059,0.0003182813,0.0004189259,0.001205053,0.0004187177],"domain_scores_gemma":[0.9724325,0.02261645,0.001285559,0.001739706,0.00165694,0.0002689174],"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.002947996,0.0006730866,0.01774044,0.0009228328,0.0002003602,0.002117965,0.001321008,0.4251717,0.08394592,0.06974691,0.004972685,0.3902392],"study_design_scores_gemma":[0.0001637134,0.000243837,0.0007531051,0.00005348957,0.00006661304,0.0002196513,0.00004699089,0.9164503,0.06574154,0.01518574,0.001049583,0.00002543648],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1677621,0.0001119634,0.8226524,0.0002893752,0.00003433215,0.000178769,0.0002178121,0.006470288,0.002282969],"genre_scores_gemma":[0.8571351,0.00004812174,0.1410577,0.0001529726,0.00001081631,0.0001342687,0.0003003967,0.0004551122,0.0007054339],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003188671,"threshold_uncertainty_score":0.01686352,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1384809580388536,"score_gpt":0.2977731457244659,"score_spread":0.1592921876856123,"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."}}