{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001419358,0.0003244546,0.0003905277,0.0002151115,0.00007514383,0.00007242116,0.0004214245,0.0001890867,0.000004513669],"category_scores_gemma":[0.00005985465,0.0003266491,0.00009022954,0.00006935701,0.00006045661,0.0007899599,0.000189507,0.0003278272,0.000002461426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006383671,"about_ca_system_score_gemma":0.00003946268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003644396,"about_ca_topic_score_gemma":0.000002604293,"domain_scores_codex":[0.9986749,0.000006893502,0.0003129296,0.0005563786,0.0001203371,0.0003285129],"domain_scores_gemma":[0.9989464,0.0004309745,0.00007239972,0.0004003378,0.00006281272,0.00008706778],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001638504,0.00002422894,0.00007249829,0.0001907884,0.00001976772,0.00001632357,0.0001191165,0.0006540918,0.000002567289,0.6150424,0.001170859,0.382671],"study_design_scores_gemma":[0.0001965128,0.000557547,0.0001434656,0.0002630734,0.00001344756,0.00009531684,4.708485e-8,0.05825265,0.00005398439,0.5422097,0.3975069,0.0007073602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00000306673,0.008608541,0.9835995,0.00004569633,0.0002841162,0.000262077,0.000004614214,0.003014571,0.004177771],"genre_scores_gemma":[0.001776929,0.005892999,0.9820819,0.0002471954,0.0003484023,0.0001388142,0.00001206413,0.00007706966,0.009424628],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.396336,"threshold_uncertainty_score":0.9999186,"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."}}