{"id":"W2109780335","doi":"10.1109/infcom.1993.253291","title":"Multiple fault diagnosis for finite state machines","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Chinese Academy of Agricultural Sciences","keywords":"Independence (probability theory); Fault (geology); Computer science; Medical diagnosis; Set (abstract data type); State (computer science); Finite-state machine; Algorithm; Reduction (mathematics); Finite set; Simple (philosophy); Theoretical computer science; Mathematics; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001334946,0.0001043162,0.0001031793,0.00007135339,0.0001089514,0.0001193971,0.0004903491,0.00002878661,0.00002978936],"category_scores_gemma":[0.0009245745,0.00008479389,0.00005795899,0.0001767593,0.00001767168,0.000192356,0.0001153745,0.00005015031,0.00005070518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001111607,"about_ca_system_score_gemma":0.00000422339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001180561,"about_ca_topic_score_gemma":0.00001537069,"domain_scores_codex":[0.999252,0.00001743029,0.0001386394,0.0002630778,0.0001091866,0.0002197199],"domain_scores_gemma":[0.9978089,0.001631563,0.00004148861,0.0003923649,0.00006739338,0.00005833641],"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.000002081759,0.0001229203,0.04052457,0.00002136865,0.00001037712,0.00001161948,0.0004871251,0.0001976193,0.00001073889,0.001150408,0.3613417,0.5961194],"study_design_scores_gemma":[0.0002186778,0.00009237148,0.0006585669,0.0000174105,0.000002093693,0.000006485577,4.532392e-7,0.947848,0.0009611258,0.03471906,0.01529884,0.0001769126],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002539116,0.0001105389,0.9833048,0.001021381,0.0001370867,0.0001814119,0.000007356126,0.01188901,0.0008093336],"genre_scores_gemma":[0.3786699,0.00002483134,0.6189728,0.0008260405,0.00003049421,0.0001794033,0.00000144087,0.000009514992,0.001285594],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9476504,"threshold_uncertainty_score":0.3457795,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04364514317896535,"score_gpt":0.2684246354416706,"score_spread":0.2247794922627053,"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."}}