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