UsingSafetyPropertiestoGenerateVulnerabilityPatches
0 Comments
by
Reference:
“UsingSafetyPropertiestoGenerateVulnerabilityPatches”.
Bibtex Entry:
@inproceedings{zhuang:senx,
title = Using Safety Properties to Generate Vulnerability Patches}