Published December 10, 2024
| Version v16
Software
Open
TracerX-WP: Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
Creators
-
1.
National University of Singapore
-
2.
Huawei Technologies (Canada)
-
3.
National Institute of Technology Warangal
Files
tracerx-wp.zip
Files
(125.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:abbe52dcc8cb88cfb3021a9fdd770d32
|
125.1 MB | Preview Download |