Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction

Xiang Gao, Bo Wang 0050, Gregory J. Duck, Ruyi Ji, Yingfei Xiong 0001, Abhik Roychoudhury. Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Transactions on Software Engineering Methodology, 30(2), 2021. [doi]

Abstract

Abstract is missing.