{"id":"W2171074827","doi":"10.1145/2687148.2687151","title":"Verifying security patches","year":2014,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Correctness; Credence; Sketch; Semantics (computer science); Set (abstract data type); Program analysis; Computer security; Nothing; Programming language; Theoretical computer science; Algorithm; Machine learning","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.01131818,0.001056325,0.001357624,0.001724576,0.002027927,0.003866358,0.003107367,0.002905715,0.004131762],"category_scores_gemma":[0.06477905,0.001545555,0.002827904,0.0007004721,0.008761057,0.01099682,0.005315545,0.004816187,0.0009943197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00185847,"about_ca_system_score_gemma":0.003035847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002378669,"about_ca_topic_score_gemma":0.00123051,"domain_scores_codex":[0.9854062,0.0033629,0.001436549,0.002781106,0.00565436,0.001358837],"domain_scores_gemma":[0.944168,0.02838297,0.003608385,0.01683669,0.006280619,0.0007233407],"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.0003543444,0.0001736422,0.0122807,0.0007999932,0.0001636826,0.0013658,0.002532178,0.0604539,0.03243043,0.7938858,0.004466847,0.09109261],"study_design_scores_gemma":[0.0002134811,0.0004290727,0.002079171,0.0003199684,0.0001853944,0.001175468,0.000523779,0.1794717,0.06368713,0.7242545,0.02750484,0.0001554083],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02642059,0.0001388818,0.9679736,0.0005508484,0.00009402019,0.0001409186,0.000111089,0.002600447,0.001969584],"genre_scores_gemma":[0.5516552,0.0002977647,0.4429091,0.0005499104,0.0001836602,0.0002867851,0.0004631872,0.001313939,0.002340424],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01131818,"threshold_uncertainty_score":0.05985695,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01113564913132811,"score_gpt":0.2292289484173727,"score_spread":0.2180932992860446,"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."}}