{"id":"W2100485841","doi":"10.1109/infcom.1994.337662","title":"Fault coverage analysis in respect to an FSM specification","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Fault coverage; Test suite; Computer science; Fault tree analysis; Finite-state machine; Fault (geology); Algorithm; Fault model; Class (philosophy); Suite; Code coverage; Minification; Automatic test pattern generation; State (computer science); Test case; Theoretical computer science; Programming language; Reliability engineering; Artificial intelligence; Software; Engineering; Machine learning; Electronic circuit","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.0002697568,0.00007337522,0.0001143585,0.000465295,0.00003935326,0.000135493,0.000532993,0.00003203556,0.00007930202],"category_scores_gemma":[0.0001521942,0.00006785988,0.00003725272,0.002041824,0.0000072373,0.0002492149,0.0000731683,0.00006295111,0.0001032193],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005041916,"about_ca_system_score_gemma":0.000004804444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002328545,"about_ca_topic_score_gemma":0.0001163413,"domain_scores_codex":[0.9991203,0.00005131096,0.0001601526,0.0003441765,0.0001709833,0.0001530887],"domain_scores_gemma":[0.999016,0.000104033,0.00003031326,0.0007345216,0.00004098543,0.00007414573],"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.00001211069,0.0007997124,0.2348087,0.000009645838,0.00007875907,0.0001194614,0.005664866,0.005436591,0.0009640414,0.0520187,0.1407273,0.5593601],"study_design_scores_gemma":[0.0002121626,0.0002463011,0.2429767,0.00001861217,0.00001920448,0.000009142594,0.000008192637,0.7209924,0.001583429,0.02847355,0.004968165,0.0004921822],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04389839,0.00001802393,0.9401098,0.000832584,0.00003142695,0.00008220469,5.027591e-7,0.004854966,0.01017214],"genre_scores_gemma":[0.774174,0.000004289675,0.2248227,0.0004318557,0.00001808273,0.000008117823,0.00000106331,0.000003228141,0.0005366269],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7302756,"threshold_uncertainty_score":0.2767246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04951585261241914,"score_gpt":0.2916565817219161,"score_spread":0.242140729109497,"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."}}