@ARTICLE{Senx,
 author = {Huang, Zhen and Lie, David},
 title = {{Senx: Semantically Correct Patch Generation for Security Vulnerabilities}},
 journal = {{arXiv}},
 howpublished = {{arXiv:1711.11136}},
 year = {2017},
}