Sahar Badihi, Faridah Akinotcho, Yi Li 0008, Julia Rubin. ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 13-24, ACM, 2020. [doi]
@inproceedings{BadihiA0R20,
title = {ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code},
author = {Sahar Badihi and Faridah Akinotcho and Yi Li 0008 and Julia Rubin},
year = {2020},
doi = {10.1145/3368089.3409757},
url = {https://doi.org/10.1145/3368089.3409757},
researchr = {https://researchr.org/publication/BadihiA0R20},
cites = {0},
citedby = {0},
pages = {13-24},
booktitle = {ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020},
editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann 0001},
publisher = {ACM},
isbn = {978-1-4503-7043-1},
}