{"id":"W2118304037","doi":"10.1109/issre.2002.1173268","title":"A case study using the round-trip strategy for state-based class testing","year":2003,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Weighting; Random testing; Finite-state machine; Test case; Test strategy; White-box testing; Unified Modeling Language; Model-based testing; Code coverage; Partition (number theory); Fault coverage; Set (abstract data type); Class (philosophy); Context (archaeology); Path (computing); Algorithm; Machine learning; Programming language; Artificial intelligence; Engineering; Mathematics; Software development; Software","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.001176902,0.000159806,0.0001420344,0.00008056653,0.0004814975,0.0004479351,0.0004468923,0.00003221313,0.000001775741],"category_scores_gemma":[0.0009471071,0.0001077712,0.00004749922,0.0005972786,0.00003484647,0.0001888903,0.00006050621,0.0001202548,0.000001210129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006102459,"about_ca_system_score_gemma":0.0002744168,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001362944,"about_ca_topic_score_gemma":0.00007701784,"domain_scores_codex":[0.9986801,0.000175388,0.0002476552,0.0003717071,0.0001899156,0.0003352459],"domain_scores_gemma":[0.9970138,0.00193976,0.0001038869,0.000658476,0.0002214483,0.00006260077],"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.00008193214,0.006373098,0.3527053,0.0003259224,0.0003849139,0.01616694,0.01272524,0.1470045,0.001850312,0.04370732,0.0232035,0.3954711],"study_design_scores_gemma":[0.0006275575,0.0007048137,0.00008906065,0.0000214412,0.00002117484,0.001814578,0.0003616954,0.9714291,0.001032544,0.02347961,0.0001053083,0.0003131237],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.247261,0.00001475024,0.7479869,0.00003088957,0.00007353628,0.0005355543,8.002058e-7,0.003831244,0.0002653871],"genre_scores_gemma":[0.6363538,2.656511e-8,0.3633652,0.0001804007,0.00001199168,0.00004126775,1.265206e-7,0.000009774553,0.0000374198],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8244246,"threshold_uncertainty_score":0.4394781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1912320888654077,"score_gpt":0.3524184528424081,"score_spread":0.1611863639770004,"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."}}