{"id":"W2889370539","doi":"","title":"Poster: Assurance Cases for Scientific Computing Software","year":2018,"lang":"en","type":"article","venue":"International Conference on Software Engineering","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Documentation; Correctness; Computer science; Software; Software engineering; Software security assurance; Information assurance; Function (biology); Computer security; Information security; Algorithm; Programming language","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.0002308994,0.000341783,0.0002656367,0.0003351817,0.0001327388,0.000282838,0.000560163,0.0001169472,0.0000986854],"category_scores_gemma":[0.0008059941,0.000392696,0.0001152529,0.0002177551,0.00006724396,0.0002533533,0.0000623876,0.0002079109,0.0001557727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002494321,"about_ca_system_score_gemma":0.00005627017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004882483,"about_ca_topic_score_gemma":0.000006954045,"domain_scores_codex":[0.9983424,0.000008095742,0.0004172499,0.0004205341,0.0003527572,0.0004589802],"domain_scores_gemma":[0.9985881,0.0004337961,0.00005833709,0.0003635391,0.0004376072,0.0001186427],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001398862,0.0001455921,0.008518964,0.001482347,0.001076934,0.0001252421,0.002755366,0.8761889,0.02031516,0.03237493,0.01457658,0.04230013],"study_design_scores_gemma":[0.0009689406,0.0002002827,0.005295587,0.001302806,0.00002436517,0.0001585639,0.00005667104,0.9012765,0.01367084,0.00011395,0.07568032,0.001251194],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08494291,0.0001084218,0.8993145,0.00006431549,0.0114372,0.0004183716,0.00018668,0.002720644,0.0008069104],"genre_scores_gemma":[0.9510196,0.000003995382,0.04755108,0.00003340432,0.0008884201,0.00007099426,0.00007359139,0.0001041767,0.0002546682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8660768,"threshold_uncertainty_score":0.9998525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0348055362742543,"score_gpt":0.2663048326612035,"score_spread":0.2314992963869492,"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."}}