Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction - Gao, Xiang; Wang, Bo; Duck, Gregory J.; Ji, Ruyi; Xiong, Yingfei; Roychoudhury, Abhik (ACM transactions on software engineering and methodology, 2021)