{"id":"W6930009518","doi":"10.5281/zenodo.10076953","title":"TracerX-WP: Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation","year":2023,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Bacterial biofilms and quorum sensing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Huawei Technologies (Canada)","funders":"","keywords":"Precondition; Interpolation (computer graphics); Pruning; Measure (data warehouse); Process (computing); Class (philosophy)","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.001754039,0.002526547,0.001617291,0.001893842,0.001086992,0.002114915,0.002994777,0.001624873,0.04120811],"category_scores_gemma":[0.009589178,0.001288454,0.001765633,0.00167825,0.002192366,0.002437433,0.004083652,0.00290176,0.006892565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00128458,"about_ca_system_score_gemma":0.003741329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00973855,"about_ca_topic_score_gemma":0.01476522,"domain_scores_codex":[0.9980861,0.0004422094,0.0001301059,0.0003234091,0.0007514599,0.000266668],"domain_scores_gemma":[0.9963394,0.001963559,0.0001600409,0.0009338383,0.0004446152,0.0001585733],"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.002302958,0.000275168,0.002508275,0.001451301,0.0002772288,0.0004793606,0.0004941889,0.2922152,0.0149593,0.09127159,0.05978172,0.5339837],"study_design_scores_gemma":[0.000293624,0.00008359989,0.0001844651,0.0001269878,0.00006108307,0.00006444482,0.00005121981,0.8980464,0.01789954,0.06313038,0.02001391,0.00004444422],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009780715,0.0003669439,0.9285337,0.000266865,0.0002330992,0.0001289238,0.001153366,0.05048107,0.00905528],"genre_scores_gemma":[0.1924475,0.0002673157,0.7744092,0.0002641109,0.00009318307,0.0004908441,0.00339853,0.01499484,0.01363443],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04120811,"threshold_uncertainty_score":0.1378549,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01239452644197882,"score_gpt":0.2266820488965008,"score_spread":0.214287522454522,"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."}}