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]

@article{GaoWDJXR21,
  title = {Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction},
  author = {Xiang Gao and Bo Wang 0050 and Gregory J. Duck and Ruyi Ji and Yingfei Xiong 0001 and Abhik Roychoudhury},
  year = {2021},
  doi = {10.1145/3418461},
  url = {https://doi.org/10.1145/3418461},
  researchr = {https://researchr.org/publication/GaoWDJXR21},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {30},
  number = {2},
}