{"id":"W2174629870","doi":"","title":"Fault model-driven test derivation from finite state models: annotated bibliography","year":2001,"lang":"en","type":"article","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":66,"is_retracted":false,"has_abstract":false,"ca_institutions":"Computer Research Institute of Montréal","funders":"","keywords":"Computer science; Test suite; Fault coverage; Fault model; Automaton; Stuck-at fault; Conformance testing; Finite-state machine; Fault (geology); Equivalence (formal languages); TRACE (psycholinguistics); Equivalence relation; Algorithm; Fault injection; Fault detection and isolation; Theoretical computer science; Test case; Programming language; Software; Mathematics; Discrete mathematics; Artificial intelligence; Standardization; Engineering","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.0008868517,0.0009016293,0.00087785,0.004813422,0.0005080294,0.001359413,0.001735538,0.001306986,0.01462828],"category_scores_gemma":[0.005644255,0.0008132639,0.001033964,0.006351214,0.0005246128,0.001964465,0.0006375688,0.001059051,0.005031822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000951188,"about_ca_system_score_gemma":0.001620385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003203899,"about_ca_topic_score_gemma":0.004131156,"domain_scores_codex":[0.9992672,0.000107796,0.0001307996,0.000138186,0.0003265726,0.00002959546],"domain_scores_gemma":[0.996861,0.001766291,0.000114519,0.0003314713,0.0009020804,0.0000246343],"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.00007660805,0.000150411,0.0004496845,0.008867049,0.0001073918,0.0006992843,0.0003278467,0.04186068,0.004247834,0.06201654,0.09224398,0.7889527],"study_design_scores_gemma":[0.00007098106,0.0001443435,0.001302243,0.006154228,0.0003859028,0.002029215,0.0001408641,0.06448158,0.02001896,0.2855561,0.6195627,0.0001528698],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.00352198,0.1098554,0.8289418,0.001552389,0.002047403,0.0003170574,0.003179563,0.00409204,0.04649243],"genre_scores_gemma":[0.1239066,0.1759599,0.6276676,0.001278358,0.001271294,0.0008472877,0.01899899,0.002529943,0.04754003],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.01462828,"threshold_uncertainty_score":0.04893649,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02909436760571941,"score_gpt":0.2628401739598293,"score_spread":0.2337458063541099,"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."}}