{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.001393705,0.0007592581,0.0007884669,0.0009050855,0.0002441077,0.000675029,0.004244458,0.0009846156,0.000007627726],"category_scores_gemma":[0.001273067,0.0007881403,0.0002139065,0.0001285085,0.0002465456,0.001155364,0.00187329,0.003924589,0.00002588781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003104338,"about_ca_system_score_gemma":0.0002218851,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001103964,"about_ca_topic_score_gemma":0.0001166951,"domain_scores_codex":[0.9960193,0.0001331258,0.001221393,0.001106023,0.0006888475,0.0008313003],"domain_scores_gemma":[0.9938974,0.003037333,0.0008039797,0.001889612,0.0001765596,0.0001951646],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002293171,0.00005189017,0.01352413,0.0001982077,0.00009090472,0.000399379,0.002887798,0.0004945429,0.00002634942,0.009444671,0.4938738,0.4789854],"study_design_scores_gemma":[0.001288361,0.0001011519,0.0007506076,0.003666156,0.0000397482,0.0001243937,0.000005339817,0.07716857,0.00009081779,0.5772998,0.3368253,0.002639844],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0004142807,0.001995425,0.04940478,0.0008627861,0.000907145,0.001053619,0.00005332589,0.01725836,0.9280503],"genre_scores_gemma":[0.164482,0.0001445427,0.2316313,0.005758362,0.0008846796,0.000464609,0.0003602427,0.0007287205,0.5955455],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5678551,"threshold_uncertainty_score":0.9994569,"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."}}