{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006141188,0.0001294267,0.0001498937,0.0001655684,0.0003254552,0.000276641,0.00311598,0.00005405532,0.000002845351],"category_scores_gemma":[0.0001124232,0.0001296367,0.00001790205,0.000380787,0.00008984855,0.0003324698,0.0004383057,0.0002034285,0.00003001728],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006004639,"about_ca_system_score_gemma":0.00008000883,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000806289,"about_ca_topic_score_gemma":0.0001137222,"domain_scores_codex":[0.9987183,0.0002266099,0.000326733,0.0004199641,0.0001603711,0.0001480434],"domain_scores_gemma":[0.9933405,0.001189509,0.0000853064,0.005253809,0.00007100228,0.0000598678],"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.00002273226,0.002628459,0.07180318,0.0001245706,0.00006018369,0.00003959539,0.003864969,0.02953961,0.0004978102,0.1898182,0.07195115,0.6296495],"study_design_scores_gemma":[0.0002790195,0.00005015544,0.01014324,0.00009212362,0.000004812064,0.00001735197,0.000003414632,0.9875729,0.00001444644,0.0005274506,0.001159494,0.0001355998],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001942061,0.0002413918,0.989067,0.003642012,0.00008676705,0.0003379184,0.00003206564,0.003272795,0.001378057],"genre_scores_gemma":[0.605007,0.00001805742,0.3944825,0.000345176,0.00003749301,0.00003766634,0.00005191741,0.000006373786,0.00001388824],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9580333,"threshold_uncertainty_score":0.5790318,"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."}}