Senx: Sound Patch Generation for Security Vulnerabilities.

Zhen Huang David Lie

Published in: CoRR (2017)

Keyphrases

security vulnerabilities
penetration testing
intrusion detection
dos attacks
security properties
data model
real world
operating system