Using Safety Properties to Generate Vulnerability Patches.

Zhen Huang David Lie Gang Tan Trent Jaeger

Published in: login Usenix Mag. (2020)

Keyphrases

automatically generate
database
feature extraction
artificial neural networks
sparse representation
desirable properties
generation method