{"id":"W1504886604","doi":"10.1007/0-306-47003-9_6","title":"Diagnosing Multiple Faults in Communicating Finite State Machines","year":2006,"lang":"en","type":"book-chapter","venue":"Kluwer Academic Publishers eBooks","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Finite-state machine; Computer science; Component (thermodynamics); State (computer science); Abstract state machines; Extended finite-state machine; Fault (geology); Distributed computing; Algorithm","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.001184144,0.000811035,0.000710102,0.0009740392,0.0005284356,0.001090425,0.001679979,0.001341302,0.002453463],"category_scores_gemma":[0.005240151,0.0005122747,0.0006480934,0.0005635367,0.001849721,0.002449256,0.001179763,0.002033478,0.0005263301],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006442675,"about_ca_system_score_gemma":0.0006534935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004141375,"about_ca_topic_score_gemma":0.0004698582,"domain_scores_codex":[0.9984651,0.0004382905,0.00007381179,0.0002361333,0.0007074422,0.00007929633],"domain_scores_gemma":[0.9944102,0.004769414,0.0001674886,0.0003756108,0.0002307671,0.00004646655],"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.0002208153,0.0001286873,0.001643948,0.0008037902,0.00006951907,0.002169267,0.001608909,0.1043849,0.04170444,0.3107897,0.003174152,0.5333019],"study_design_scores_gemma":[0.0000569478,0.0002334794,0.0005397863,0.0003144448,0.00007506207,0.002340396,0.0001888904,0.5406473,0.0829055,0.3426436,0.02997717,0.0000775345],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01419889,0.0005555161,0.9810616,0.0001803703,0.00007017136,0.00004066346,0.00001911922,0.0009578696,0.002915803],"genre_scores_gemma":[0.2970002,0.0008571846,0.6955696,0.0001584721,0.00008469662,0.000100205,0.0001183195,0.0002290157,0.005882336],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002453463,"threshold_uncertainty_score":0.008207679,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02997382701344905,"score_gpt":0.2603563891699835,"score_spread":0.2303825621565345,"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."}}