{"id":"W2157789678","doi":"10.1109/issre.2005.24","title":"Improving Statechart Testing Criteria Using Data Flow Information","year":2006,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Computer science; Dataflow; Unified Modeling Language; Tree (set theory); Data flow diagram; Control flow; Data-flow analysis; Test case; Data mining; Path (computing); Database; Machine learning; Programming language","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.00681961,0.001626795,0.001103147,0.007980781,0.0005924781,0.002367951,0.001546291,0.001109265,0.001665973],"category_scores_gemma":[0.05784616,0.0004921784,0.0009771009,0.002315792,0.0009296697,0.003631117,0.001311158,0.0006911175,0.0002748422],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001666944,"about_ca_system_score_gemma":0.002403809,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003858045,"about_ca_topic_score_gemma":0.005207337,"domain_scores_codex":[0.9887099,0.003987263,0.000833743,0.0007373407,0.005277545,0.0004541411],"domain_scores_gemma":[0.9383524,0.04485691,0.004766091,0.00243647,0.009033319,0.0005547761],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0006199691,0.0007236183,0.04063835,0.0008564013,0.0001541935,0.0007966181,0.001209314,0.2526793,0.05011711,0.03167334,0.001790896,0.6187409],"study_design_scores_gemma":[0.00009432337,0.0006408718,0.008828444,0.0002321631,0.0001280685,0.0004905367,0.0003184914,0.9126708,0.05617031,0.01644949,0.003871758,0.0001047968],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1955022,0.000346845,0.7957939,0.0004065369,0.00002265772,0.0004761578,0.0002706332,0.002944207,0.004236869],"genre_scores_gemma":[0.7013147,0.0001220886,0.2970784,0.00006970578,0.00001408135,0.0002408632,0.0004934753,0.0002222965,0.0004443735],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007980781,"threshold_uncertainty_score":0.03606594,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07316659845003702,"score_gpt":0.297576731377217,"score_spread":0.2244101329271799,"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."}}