{"id":"W2182335636","doi":"10.4018/978-1-60960-747-0.ch002","title":"Exceptions for Dependability","year":2011,"lang":"en","type":"book-chapter","venue":"Advances in computer and electrical engineering book series","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Dependability; Mathematical proof; Computer science; Masking (illustration); Rollback; Programming language; Theoretical computer science; Software engineering; Database transaction; Mathematics","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.0007148832,0.001189435,0.000519773,0.001276358,0.001100632,0.002796151,0.00106243,0.001374664,0.01672964],"category_scores_gemma":[0.002618231,0.000426271,0.0005789983,0.001544385,0.002935688,0.00529173,0.001552837,0.003864366,0.006259133],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001817255,"about_ca_system_score_gemma":0.0009466065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001250574,"about_ca_topic_score_gemma":0.001185985,"domain_scores_codex":[0.9991637,0.00015762,0.00006588065,0.0001774677,0.0003797661,0.00005564907],"domain_scores_gemma":[0.9985985,0.000788044,0.00007477786,0.0002484984,0.0002407016,0.00004942963],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00000885699,0.00001265696,0.00005580499,0.0002349959,0.000006370404,0.00007457163,0.0003220074,0.0009120259,0.0004682739,0.8732197,0.03822514,0.08645952],"study_design_scores_gemma":[0.00000430832,0.00001501691,0.00009162303,0.0002675118,0.000005189377,0.0002310519,0.00005768065,0.0008772187,0.0002668264,0.4905626,0.5076106,0.00001030506],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.003444433,0.1367351,0.2103112,0.009701271,0.005227442,0.000127869,0.00035843,0.001688101,0.6324061],"genre_scores_gemma":[0.1513258,0.1495095,0.1374431,0.00709035,0.007361594,0.00048279,0.001107011,0.001687668,0.5439921],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01672964,"threshold_uncertainty_score":0.05596626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01150428966830909,"score_gpt":0.224981595097884,"score_spread":0.213477305429575,"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."}}