TY - RPRT TI - Sound Patch Generation for Vulnerabilities AU - Zhen Huang AU - David Lie PY - 2018 UR - https://arxiv.org/abs/1711.11136 ID - 1711.11136 ER -