{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004889932,0.0001921323,0.0002025957,0.0001195436,0.0007716866,0.000763782,0.001376097,0.00006298064,0.000007557111],"category_scores_gemma":[0.0009165776,0.0001645365,0.00005690837,0.0001552548,0.00007878526,0.0004520918,0.00009500064,0.0001672976,0.0000287086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000548799,"about_ca_system_score_gemma":0.00007757116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006438578,"about_ca_topic_score_gemma":0.0001300182,"domain_scores_codex":[0.9984527,0.000129281,0.000201532,0.0005526505,0.0003863098,0.0002775728],"domain_scores_gemma":[0.9969983,0.0009958693,0.0001181794,0.001632306,0.000122345,0.0001330648],"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.001520921,0.01360041,0.4217429,0.00007359738,0.0001921777,0.001001104,0.006979314,0.004272912,0.001025134,0.01215256,0.07031486,0.4671241],"study_design_scores_gemma":[0.003505527,0.008716818,0.2788885,0.00007433582,0.00003039158,0.00001147504,0.00002528661,0.6830477,0.0003570487,0.02442301,0.0002451217,0.0006747802],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3799951,0.000003029392,0.6012149,0.001460408,0.0003392232,0.0003028364,0.000002690644,0.01331173,0.003369964],"genre_scores_gemma":[0.8563579,6.094094e-8,0.1429957,0.0005252135,0.00006271658,0.00002075197,0.000003009642,0.00001184804,0.00002286575],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6787748,"threshold_uncertainty_score":0.7365168,"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."}}