Using Safety Properties to Generate Vulnerability Patches.

Zhen Huang David Lie Gang Tan Trent Jaeger

Published in: IEEE Symposium on Security and Privacy (2019)

Keyphrases

desirable properties
structural properties
automatically generate
real world
machine learning
learning algorithm
database systems
video sequences
image patches
visual patterns