{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004187095,0.0007029437,0.0005706022,0.001276332,0.001706015,0.001330428,0.002272733,0.003407739,0.002410728],"category_scores_gemma":[0.01493085,0.0003512944,0.0009103461,0.001311526,0.001439827,0.001686416,0.001064382,0.001542433,0.0004833109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001509434,"about_ca_system_score_gemma":0.001132548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008763189,"about_ca_topic_score_gemma":0.01105799,"domain_scores_codex":[0.9946257,0.00298155,0.000234771,0.0004242113,0.001247805,0.0004859188],"domain_scores_gemma":[0.9783054,0.01611652,0.0008053319,0.001956968,0.00162026,0.001195548],"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.004544849,0.01365826,0.1185913,0.001741197,0.0003992337,0.08172265,0.02336808,0.3003444,0.0589431,0.07731701,0.01387523,0.3054947],"study_design_scores_gemma":[0.002420628,0.01491976,0.05955274,0.000501423,0.0005388268,0.02877126,0.01644859,0.6572687,0.1192697,0.03325905,0.06665136,0.0003980155],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.911132,0.0002593128,0.07627536,0.001054293,0.00005943816,0.0007831365,0.0003517465,0.0005429309,0.009541903],"genre_scores_gemma":[0.920858,0.0001462162,0.07601564,0.0001494988,0.00001631957,0.0003205636,0.0002042116,0.0000765473,0.002213034],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008763189,"threshold_uncertainty_score":0.02214372,"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."}}