{"id":"W4393978605","doi":"10.1007/978-3-031-57259-3_19","title":"TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution)","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Huawei Technologies (Canada)","funders":"","keywords":"Precondition; Computer science; Pruning; Interpolation (computer graphics); Competition (biology); Algorithm; Theoretical computer science; Artificial intelligence; 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.0006839562,0.0004170628,0.0003455123,0.0009312551,0.0002784739,0.0007654277,0.0006234343,0.0002771322,0.000005800691],"category_scores_gemma":[0.00008962882,0.0003766797,0.00005688321,0.0005029305,0.0004180599,0.0008909946,0.000317941,0.000670218,0.00001664755],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004262783,"about_ca_system_score_gemma":0.0001969159,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002620448,"about_ca_topic_score_gemma":0.0000798471,"domain_scores_codex":[0.9974442,0.00003467906,0.0003995063,0.001195884,0.0005371712,0.0003885449],"domain_scores_gemma":[0.9984437,0.0003477675,0.0002625492,0.0005685616,0.0002756404,0.0001018437],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003051894,0.00005746459,0.0004268635,0.0002554357,0.00003702364,0.00009495825,0.001460942,0.006556096,0.0007421151,0.211237,0.00003676519,0.7790649],"study_design_scores_gemma":[0.000141478,0.0002523521,0.0007074193,0.001688087,0.00001701931,0.0002852577,1.181631e-7,0.6068713,0.0002120902,0.3893432,0.0001084156,0.000373269],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001125414,0.0004874331,0.9932641,0.0006096727,0.0006138175,0.0004695204,0.000007985417,0.002807078,0.0006149643],"genre_scores_gemma":[0.8249335,0.000041607,0.1745253,0.0001740633,0.0001338526,0.00002499717,0.00005034051,0.00002956063,0.00008683864],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.823808,"threshold_uncertainty_score":0.9998685,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007317886509596298,"score_gpt":0.2327990402987306,"score_spread":0.2254811537891343,"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."}}