{"id":"W110592620","doi":"10.5753/sbes.2007.21316","title":"Experimental Evaluation of Coverage Criteria for FSM-based Testing","year":2007,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Conselho Nacional de Desenvolvimento Científico e Tecnológico; Fundação de Amparo à Pesquisa do Estado de São Paulo","keywords":"Computer science; Code coverage; Finite-state machine; Reliability engineering; Test plan; Test strategy; Empirical research; Test (biology); Compromise; Plan (archaeology); Data mining; Machine learning; Artificial intelligence; Algorithm; Engineering; Mathematics; Statistics; 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.009592774,0.001334538,0.0008122973,0.002263372,0.0005371223,0.0006458323,0.001862774,0.001640958,0.002350503],"category_scores_gemma":[0.07148433,0.0004047756,0.0004239787,0.001659836,0.001256949,0.001456492,0.001164776,0.0007624389,0.0002924181],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001377979,"about_ca_system_score_gemma":0.0005742158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002041222,"about_ca_topic_score_gemma":0.002015279,"domain_scores_codex":[0.9865516,0.006220367,0.001372875,0.001157888,0.004159526,0.0005377778],"domain_scores_gemma":[0.8305126,0.1462717,0.006153734,0.007155444,0.008656008,0.001250456],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.01361671,0.01181879,0.02017198,0.003584436,0.0006049448,0.0005582222,0.001501682,0.3760152,0.2847145,0.006536828,0.003337751,0.2775389],"study_design_scores_gemma":[0.001294521,0.01688556,0.01935961,0.0001645401,0.0002726923,0.0004941489,0.0003882494,0.6961089,0.2590599,0.003197377,0.002648392,0.0001260273],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9508592,0.0008230419,0.04371326,0.000153377,0.00004892036,0.0005034949,0.0006328227,0.001082039,0.002183869],"genre_scores_gemma":[0.9555466,0.0002073543,0.04208954,0.00003617429,0.00001896005,0.0004529294,0.0009074851,0.0001759731,0.0005650058],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009592774,"threshold_uncertainty_score":0.05073202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1379830994562716,"score_gpt":0.4016068810919319,"score_spread":0.2636237816356602,"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."}}