{"id":"W2097299633","doi":"10.1109/icdcs.1992.235084","title":"Test result analysis and diagnostics for finite state machines","year":2003,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Finite-state machine; Fault (geology); Computer science; State (computer science); Algorithm; Artificial intelligence; Data mining","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.004244165,0.001461992,0.001011923,0.003320692,0.0007598313,0.003266471,0.002147863,0.001764401,0.007238353],"category_scores_gemma":[0.03194222,0.0006571111,0.001828675,0.001860489,0.003403779,0.003278636,0.001539017,0.002215498,0.001425432],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002141773,"about_ca_system_score_gemma":0.002050509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001822286,"about_ca_topic_score_gemma":0.001551029,"domain_scores_codex":[0.9929203,0.00231685,0.0005418051,0.0009858675,0.002788879,0.0004462871],"domain_scores_gemma":[0.9729692,0.02214963,0.001153156,0.001634371,0.001869321,0.0002242911],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005603547,0.0001791971,0.002313668,0.0009889386,0.0001852127,0.0009357714,0.0004862767,0.1844616,0.009636815,0.4857463,0.008328271,0.3061776],"study_design_scores_gemma":[0.00006598678,0.000132432,0.0004224463,0.0001748825,0.00006986444,0.0004381649,0.00007972652,0.5385911,0.01888739,0.431136,0.009957939,0.0000440832],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003419386,0.0002931934,0.9913071,0.000275461,0.00003491176,0.00007473135,0.00009851771,0.001582517,0.002914217],"genre_scores_gemma":[0.2423954,0.000504438,0.7506524,0.0003846753,0.0001355535,0.0005124976,0.0009001297,0.0004983949,0.004016432],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007238353,"threshold_uncertainty_score":0.02421474,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01209066379641517,"score_gpt":0.2409517203701952,"score_spread":0.22886105657378,"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."}}