Scaling Client-Specific Equivalence Checking via Impact Boundary Search

Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik. Scaling Client-Specific Equivalence Checking via Impact Boundary Search. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 734-745, IEEE, 2020. [doi]

@inproceedings{FengMHC20,
  title = {Scaling Client-Specific Equivalence Checking via Impact Boundary Search},
  author = {Nick Feng and Federico Mora and Vincent Hui and Marsha Chechik},
  year = {2020},
  url = {https://ieeexplore.ieee.org/document/9285657},
  researchr = {https://researchr.org/publication/FengMHC20},
  cites = {0},
  citedby = {0},
  pages = {734-745},
  booktitle = {35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020},
  publisher = {IEEE},
  isbn = {978-1-4503-6768-4},
}