{"id":"W2111584600","doi":"10.1002/stvr.452","title":"On reducing test length for FSMs with extra states","year":2011,"lang":"en","type":"article","venue":"Software Testing Verification and Reliability","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Tree traversal; Test suite; Computer science; Reduction (mathematics); Set (abstract data type); Algorithm; Finite-state machine; Test set; Implementation; Test case; Theoretical computer science; Mathematics; Programming language; Artificial intelligence","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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.0009024243,0.0002079537,0.0001856813,0.00008255292,0.0003450761,0.00009825994,0.0003929184,0.00008361241,0.000002647087],"category_scores_gemma":[0.008401562,0.0001629895,0.00003429518,0.0003554593,0.0001653673,0.0002257142,0.00006468542,0.0001705774,0.000004378289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005045336,"about_ca_system_score_gemma":0.00008996765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001946216,"about_ca_topic_score_gemma":0.000001427256,"domain_scores_codex":[0.9984455,0.0000569931,0.0002905969,0.0007343999,0.0001815129,0.0002910227],"domain_scores_gemma":[0.9950766,0.00334337,0.0001855413,0.0008974437,0.000375499,0.0001215513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001802217,0.001503362,0.3624086,0.000770541,0.0000318474,0.00001211697,0.007477582,0.0004601003,0.0004187516,0.00894751,0.006991797,0.6107975],"study_design_scores_gemma":[0.001380897,0.004696745,0.3865828,0.001088554,0.00006168064,0.0001171352,0.00005464346,0.1046833,0.00629846,0.4927581,0.0006967282,0.001581024],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09054977,0.00004961233,0.8972841,0.0001830832,0.0001075207,0.0005319223,0.000008930456,0.01098693,0.0002981402],"genre_scores_gemma":[0.4733715,0.000003107327,0.5263883,0.00009615089,0.00001538354,0.00007687364,0.000004421178,0.00001359803,0.000030689],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6092165,"threshold_uncertainty_score":0.9999511,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04516024558319632,"score_gpt":0.2535739498862984,"score_spread":0.2084137043031021,"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."}}