{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001171867,0.0007407657,0.0007491852,0.00199852,0.000586267,0.001203713,0.0006224885,0.000729714,0.002896861],"category_scores_gemma":[0.009316105,0.000278466,0.001015603,0.0008524078,0.001077066,0.00138364,0.0006252352,0.0007456004,0.000417548],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009786381,"about_ca_system_score_gemma":0.001303032,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003081112,"about_ca_topic_score_gemma":0.002368915,"domain_scores_codex":[0.9975653,0.0006208769,0.0001261562,0.0003585866,0.001100237,0.0002289153],"domain_scores_gemma":[0.9926974,0.005864966,0.0004059905,0.0003419934,0.0006297965,0.00005982607],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005082513,0.0001308635,0.005115956,0.000492294,0.0001688641,0.001007381,0.0003356783,0.617234,0.05891929,0.101801,0.003655344,0.2106311],"study_design_scores_gemma":[0.00003072796,0.0001548717,0.002058577,0.00006271091,0.00006860798,0.0003699247,0.0000677558,0.8860568,0.04324504,0.06440314,0.003455112,0.00002678801],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0526631,0.0001636715,0.9423747,0.0002365129,0.00001168073,0.00009351809,0.0003391631,0.001414158,0.002703423],"genre_scores_gemma":[0.6962669,0.0003361345,0.2984855,0.0001831274,0.00005214966,0.000321732,0.001881832,0.0003327385,0.002139897],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003081112,"threshold_uncertainty_score":0.009691,"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."}}