{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001508757,0.0008431588,0.00088901,0.0008760214,0.000481562,0.0008509569,0.002166478,0.0009309239,0.008253421],"category_scores_gemma":[0.005499125,0.0004509277,0.0008098403,0.0007221196,0.001525982,0.001299841,0.002239723,0.001676933,0.0009227735],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009014266,"about_ca_system_score_gemma":0.002328057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004379687,"about_ca_topic_score_gemma":0.004925835,"domain_scores_codex":[0.9987698,0.0003267873,0.00005676638,0.0001755992,0.0005359682,0.0001349033],"domain_scores_gemma":[0.9973061,0.001621667,0.000138355,0.0004611645,0.0003419899,0.0001305716],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001106771,0.0002623301,0.003683243,0.0006314036,0.00009098982,0.0005506218,0.0003017967,0.4872389,0.02023377,0.0812505,0.01658976,0.3880599],"study_design_scores_gemma":[0.00005602469,0.0001250834,0.0001676082,0.00002893491,0.00001603304,0.00006922349,0.00002086498,0.966028,0.009451067,0.02012181,0.003904291,0.00001101854],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03858446,0.0003633913,0.9476842,0.0003047418,0.0001096382,0.0001195105,0.0002633151,0.0089678,0.003602925],"genre_scores_gemma":[0.4306793,0.0001807775,0.5600697,0.0002056108,0.00005202411,0.0002143444,0.0009886113,0.001273566,0.006336066],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008253421,"threshold_uncertainty_score":0.02761048,"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."}}