{"id":"W2411368317","doi":"10.1109/icse-c.2017.73","title":"A Solver for a Theory of Strings and Bit-Vectors","year":2017,"lang":"en","type":"article","venue":"","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Solver; String (physics); Computer science; Satisfiability modulo theories; Theoretical computer science; Bit array; String searching algorithm; Heuristic; Parallel computing; Algorithm; Programming language; Mathematics; Data structure; Artificial intelligence; Type (biology)","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.000332389,0.00004310313,0.00007709058,0.00002655539,0.0001291985,0.0001067589,0.0005041823,0.00002119824,0.00001084318],"category_scores_gemma":[0.0001098102,0.00003521038,0.00002494321,0.00001826046,0.0001101604,0.0002764828,0.0001944685,0.00002369103,0.00000200198],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004461751,"about_ca_system_score_gemma":0.00002040092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000362412,"about_ca_topic_score_gemma":0.000009174375,"domain_scores_codex":[0.9996029,0.00001031415,0.0000893066,0.0001504434,0.00006760814,0.00007943175],"domain_scores_gemma":[0.9990914,0.0001844688,0.00007584458,0.0005623287,0.00005684589,0.00002904119],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000002640809,0.000009910347,0.0008560674,0.00001414848,0.000004082939,3.380284e-8,0.0006088386,2.233649e-7,0.0007419856,0.9887274,0.0002551556,0.008779504],"study_design_scores_gemma":[0.0007890272,0.0001176843,0.03531403,0.00001643214,0.000007380806,0.000003316092,0.0002638385,0.007947663,0.08020984,0.8607587,0.01434861,0.0002234826],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3174839,0.00003075303,0.676074,0.0009497888,0.00005013791,0.0002228959,0.000003169363,0.00005180957,0.005133562],"genre_scores_gemma":[0.9736344,0.000002171735,0.02558642,0.00007353834,0.00001425239,0.00002652577,1.293166e-7,0.000002400493,0.0006601324],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6561505,"threshold_uncertainty_score":0.1435837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03153856575155962,"score_gpt":0.2815343674077004,"score_spread":0.2499958016561408,"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."}}