{"id":"W4225538569","doi":"10.1145/3510457.3513050","title":"Towards build verifiability for Java-based systems","year":2022,"lang":"en","type":"preprint","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; Huawei Technologies (Canada)","funders":"","keywords":"Java; Computer science; Software engineering; Process (computing); Open source; Software; Software system; 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.001626879,0.0002597195,0.0003652514,0.0001298888,0.0003342013,0.0005658393,0.002809641,0.0002045772,0.000113934],"category_scores_gemma":[0.0001775509,0.0002718537,0.000269859,0.0002450891,0.00004145656,0.0001035496,0.001868472,0.0005208989,0.00001039193],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003084305,"about_ca_system_score_gemma":0.0008128437,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005028358,"about_ca_topic_score_gemma":0.000003103093,"domain_scores_codex":[0.9973367,0.0002161071,0.0005356464,0.001102075,0.0004805454,0.0003289125],"domain_scores_gemma":[0.9969455,0.0003879899,0.000286371,0.002037713,0.0002381605,0.0001042487],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003526207,0.0004564805,0.0007856819,0.002465842,0.0001045551,0.000005093902,0.00103463,0.1690714,0.00004938717,0.7977802,0.01431295,0.01389859],"study_design_scores_gemma":[0.0002216568,0.00005419723,0.0002973222,0.00003455586,0.00000854372,0.000001544999,0.00003897235,0.8943294,0.0003633707,0.007084772,0.09721474,0.0003509511],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001924316,0.000244025,0.9830707,0.001529594,0.006576214,0.001173864,0.00005921473,0.0007095525,0.004712511],"genre_scores_gemma":[0.7692168,0.000006047014,0.2277486,0.0007455047,0.0004302089,0.001285403,0.0001205515,0.00002838835,0.0004184407],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7906954,"threshold_uncertainty_score":0.9999734,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05388924791237165,"score_gpt":0.3127297017492208,"score_spread":0.2588404538368491,"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."}}