{"id":"W2973063031","doi":"10.1145/3342481","title":"A Survey of Tool-supported Assurance Case Assessment Techniques","year":2019,"lang":"en","type":"review","venue":"ACM Computing Surveys","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Certification; Computer science; Dependability; Strengths and weaknesses; Process (computing); Quality assurance; Task (project management); Engineering management; Safety assurance; Process management; Risk analysis (engineering); Software engineering; Systems engineering; Engineering; Operations management; Business","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.008002062,0.0008715906,0.003341724,0.0004169358,0.00004916891,0.00006275881,0.001131489,0.0005715719,0.00002209236],"category_scores_gemma":[0.0007935337,0.0008867148,0.0004502879,0.0009997432,0.00004250462,0.00009321368,0.0003727982,0.000854648,0.00006076107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004068303,"about_ca_system_score_gemma":0.00041316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000649222,"about_ca_topic_score_gemma":0.00006264776,"domain_scores_codex":[0.9947724,0.001691937,0.001954071,0.0006069703,0.000363893,0.0006106989],"domain_scores_gemma":[0.9923885,0.00448386,0.0005841685,0.002211537,0.0002435035,0.0000883731],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[2.747483e-7,0.00002042188,0.000731964,0.04401714,0.0005829665,0.000220516,0.00002944226,0.002812463,0.000001619024,0.00001231872,0.0008951046,0.9506758],"study_design_scores_gemma":[0.0006360558,0.0001765544,0.0175274,0.06822348,0.00106878,0.003851847,0.00001421556,0.05770456,0.00003187054,0.00001101976,0.8454977,0.005256486],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.000149801,0.9228681,0.07042988,0.00000115718,0.002181826,0.00151808,0.0004019047,0.001576427,0.0008728564],"genre_scores_gemma":[0.02785856,0.9514231,0.01886171,0.000004458275,0.0002551944,0.00009377231,0.0008149106,0.0005695148,0.000118775],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.9454193,"threshold_uncertainty_score":0.9993584,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06909217308592452,"score_gpt":0.3404557327219368,"score_spread":0.2713635596360123,"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."}}