{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03245442,0.001359574,0.001016969,0.006377896,0.001999596,0.005641943,0.00267898,0.002678183,0.002568564],"category_scores_gemma":[0.1496792,0.002005665,0.00309083,0.002835857,0.005982562,0.01226766,0.009426551,0.007418209,0.001163732],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002703187,"about_ca_system_score_gemma":0.007416011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003190258,"about_ca_topic_score_gemma":0.003163891,"domain_scores_codex":[0.9383926,0.02137135,0.005256385,0.005470975,0.02728144,0.00222721],"domain_scores_gemma":[0.8314557,0.08347899,0.01332695,0.04986696,0.02083893,0.001032537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002562178,0.0006219261,0.0234973,0.001909321,0.0002757406,0.001896721,0.008705066,0.04169678,0.04568356,0.3181974,0.004363857,0.5528963],"study_design_scores_gemma":[0.0001839309,0.0006146853,0.01090837,0.00215514,0.0003991842,0.003237774,0.002571735,0.2949688,0.1357482,0.4527233,0.09616846,0.000320545],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01565723,0.0002585114,0.9793729,0.0008388415,0.0000427287,0.0003071755,0.00006788627,0.001480837,0.00197398],"genre_scores_gemma":[0.1663829,0.0005908615,0.8298079,0.0003538672,0.00006483897,0.0005020785,0.0005287785,0.0007344279,0.001034424],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03245442,"threshold_uncertainty_score":0.1716374,"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."}}