{"id":"W1973085420","doi":"10.1145/1858996.1859079","title":"Search-carrying code","year":2010,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Certification; Code (set theory); Programming language; Redundant code; State (computer science); Dead code; Code generation; Operating system; Key (lock)","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":[],"consensus_categories":[],"category_scores_codex":[0.0002876996,0.00005259265,0.00005036471,0.00005232733,0.00008020056,0.000117244,0.0006144509,0.00003465919,0.00002444777],"category_scores_gemma":[0.0001564815,0.00004358978,0.00002212021,0.0001554359,0.0000285802,0.0001551016,0.0001960779,0.0001802908,0.00008170044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004345634,"about_ca_system_score_gemma":0.00002964227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007368665,"about_ca_topic_score_gemma":0.000009336227,"domain_scores_codex":[0.9994454,0.00001201628,0.00006792763,0.0001776952,0.0001337765,0.0001631394],"domain_scores_gemma":[0.9992555,0.0001452874,0.00001193692,0.000479266,0.00004572689,0.00006223252],"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.000001411063,0.00006538601,0.04328227,0.00001237058,0.000008022405,0.00003837677,0.0007091344,0.000008904865,0.01689845,0.3520241,0.1743881,0.4125635],"study_design_scores_gemma":[0.000415547,0.0001723267,0.01884574,0.00004604453,0.000004709071,0.0003273538,0.000008404598,0.3797777,0.1161281,0.4321697,0.05116978,0.000934526],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02798546,0.000004127557,0.9280493,0.0009160643,0.0002582278,0.00004222205,2.306129e-7,0.02121773,0.02152663],"genre_scores_gemma":[0.5348628,2.883697e-7,0.4645705,0.0002673802,0.00002781552,0.000002363341,1.332572e-7,0.000002840237,0.0002659193],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5068772,"threshold_uncertainty_score":0.177754,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02995144606290355,"score_gpt":0.2906130173078692,"score_spread":0.2606615712449656,"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."}}