{"id":"W2768693575","doi":"10.1109/issre.2017.34","title":"On FSM-Based Testing: An Empirical Study: Complete Round-Trip Versus Transition Trees","year":2017,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Transition (genetics); Software testing; Empirical research; Programming language; Statistics; Mathematics; Chemistry; Software","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01140905,0.0008936606,0.000678885,0.00344287,0.0005327879,0.0008982457,0.001634408,0.001374369,0.001086028],"category_scores_gemma":[0.1388326,0.0003236897,0.0006372478,0.002806478,0.001483844,0.002922195,0.001238692,0.001315748,0.0002921589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001138219,"about_ca_system_score_gemma":0.0006904533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002574804,"about_ca_topic_score_gemma":0.002970758,"domain_scores_codex":[0.9790684,0.01104674,0.001607713,0.001975,0.005672636,0.0006295281],"domain_scores_gemma":[0.6438204,0.3178425,0.01163269,0.01360714,0.01141468,0.001682606],"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.003504361,0.01016588,0.2657305,0.00310674,0.0007178313,0.001448209,0.005596656,0.1843652,0.01737204,0.007458217,0.006166514,0.4943679],"study_design_scores_gemma":[0.0004629233,0.01527309,0.2766143,0.0008314851,0.0006934145,0.00376291,0.004950981,0.6539124,0.02528555,0.007286999,0.01071321,0.0002127447],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9887152,0.0006734896,0.008319038,0.0001027227,0.00001625523,0.0001863761,0.0003764053,0.0001279967,0.001482494],"genre_scores_gemma":[0.9859795,0.0003728363,0.01203482,0.00005123816,0.00002564532,0.0001269931,0.0009619453,0.00006981792,0.0003772984],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01140905,"threshold_uncertainty_score":0.0603376,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1997591464537318,"score_gpt":0.3837844031110522,"score_spread":0.1840252566573204,"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."}}