{"id":"W2129772051","doi":"10.1109/ares.2007.49","title":"Automatic Failure Detection with Separation of Concerns","year":2007,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Session (web analytics); Rotation formalisms in three dimensions; Finite-state machine; Separation of concerns; State (computer science); Software; Reliability engineering; Distributed computing; Programming language; Engineering","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":[],"consensus_categories":[],"category_scores_codex":[0.0002447162,0.00004777447,0.0000615715,0.00006368719,0.00003222232,0.00002198374,0.0001474473,0.00002767852,0.000006315965],"category_scores_gemma":[0.00004108657,0.00003547371,0.00001275117,0.0002430473,0.00002030683,0.0001592288,0.00002286784,0.00003617028,0.000005055368],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001635683,"about_ca_system_score_gemma":0.00001867467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007136873,"about_ca_topic_score_gemma":0.00008989596,"domain_scores_codex":[0.9995578,0.00001014709,0.0001103226,0.0001063923,0.0001277806,0.00008757044],"domain_scores_gemma":[0.9995196,0.0001159806,0.0000644765,0.0002070773,0.00006954288,0.00002327986],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001234223,0.00008611085,0.01580016,0.00006242721,0.00002399972,0.0000144933,0.001463044,0.00006060996,0.009908956,0.01229766,0.005346802,0.9549234],"study_design_scores_gemma":[0.0004383432,0.0009469601,0.02510928,0.000126479,0.00001267126,0.0001314539,0.00003404715,0.416523,0.5322613,0.02326209,0.0008025486,0.0003519086],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08479439,0.000004170609,0.9093198,0.00003733393,0.00002564122,0.0000588452,6.118245e-8,0.004435676,0.001324048],"genre_scores_gemma":[0.671047,8.868567e-8,0.3288769,0.00003105046,0.000009153967,0.000001726894,1.542967e-7,0.00000174379,0.00003219069],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9545715,"threshold_uncertainty_score":0.1446576,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01587587074788606,"score_gpt":0.288597716786828,"score_spread":0.272721846038942,"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."}}