{"id":"W2137918864","doi":"10.1109/issre.1996.558672","title":"Automatic failure detection with Conditional-Belief supervisors","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada); University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Supervisor; Computer science; Formalism (music); Finite-state machine; Class (philosophy); Control (management); Software engineering; Reliability engineering; Artificial intelligence; Programming language; Engineering","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001593691,0.00008580117,0.0001084644,0.0001301756,0.0001528884,0.000152485,0.0003914705,0.00004262497,0.001578018],"category_scores_gemma":[0.0000550609,0.00006131381,0.00005489009,0.0007194226,0.00005522102,0.0004514072,0.0000631812,0.0001163078,0.000763574],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000038248,"about_ca_system_score_gemma":0.00001596641,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004835008,"about_ca_topic_score_gemma":0.0001266125,"domain_scores_codex":[0.9988694,0.00006347439,0.0001291973,0.0002797226,0.0004494378,0.0002087366],"domain_scores_gemma":[0.9992341,0.0001498439,0.00002174014,0.0003918949,0.0001099482,0.00009246785],"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.000007074537,0.00112166,0.01501221,0.0002125909,0.0003670501,0.0001012162,0.00247457,0.002184274,0.002252007,0.05188738,0.009427023,0.9149529],"study_design_scores_gemma":[0.0002657745,0.0001527707,0.003067395,0.00001085191,0.000006910997,0.00004432074,0.00006823035,0.9867599,0.002054182,0.003349066,0.004051739,0.0001688642],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1051556,0.00003929838,0.8903395,0.002165846,0.00002029507,0.0001065171,7.943015e-7,0.0003837845,0.00178832],"genre_scores_gemma":[0.9832353,0.000006643588,0.01554091,0.0001859739,0.00001997205,0.00002069233,0.000001761015,0.000003926491,0.0009848183],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9845756,"threshold_uncertainty_score":0.9993347,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01419848697983107,"score_gpt":0.2186987846197303,"score_spread":0.2045002976398993,"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."}}