TY - RPRT TI - Oracle-Supported Dynamic Exploit Generation for Smart Contracts AU - Haijun Wang AU - Yi Li AU - Shang-Wei Lin AU - Cyrille Artho AU - Lei Ma AU - Yang Liu PY - 2019 UR - https://arxiv.org/abs/1909.06605 ID - 1909.06605 ER -