Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions

Yuxin Wang, Adam Welc, Lazaro Clapp, Lingchao Chen. Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. In Satish Chandra 0001, Kelly Blincoe, Paolo Tonella, editors, Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. pages 1693-1704, ACM, 2023. [doi]

@inproceedings{WangWCC23-0,
  title = {Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions},
  author = {Yuxin Wang and Adam Welc and Lazaro Clapp and Lingchao Chen},
  year = {2023},
  doi = {10.1145/3611643.3613870},
  url = {https://doi.org/10.1145/3611643.3613870},
  researchr = {https://researchr.org/publication/WangWCC23-0},
  cites = {0},
  citedby = {0},
  pages = {1693-1704},
  booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023},
  editor = {Satish Chandra 0001 and Kelly Blincoe and Paolo Tonella},
  publisher = {ACM},
}