There is a newer version of the record available.

Published November 23, 2023 | Version v7
Software Open

TracerX-WP: Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation

Authors/Creators

  • 1. ROR icon National University of Singapore
  • 2. ROR icon Huawei Technologies (Canada)
  • 3. ROR icon National Institute of Technology Warangal

Files

tracerx-wp.zip

Files (120.3 MB)

Name Size Download all
md5:4fd86ea0e5695e08baca03b8a9f8e1d9
120.3 MB Preview Download