ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code-Reference-Cited by-同舟云学术

ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code

Published:2020-11-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Badihi Sahar¹,Akinotcho Faridah¹,Li Yi²^ORCID,Rubin Julia¹^ORCID

Affiliation:

1. University of British Columbia, Canada

2. Nanyang Technological University, Singapore

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3368089.3409757

Reference47 articles.

1. [n.d.]. Github. https://github.com. [n.d.]. Github. https://github.com.

2. [n.d.]. Refactoring GURU. https://refactoring.guru/remove-assignments-toparameters. [n.d.]. Refactoring GURU. https://refactoring.guru/remove-assignments-toparameters.

3. 2019. ASM-DefUse. Software Analysis Experimentation Group ( 2019 ). https: //github.com/saeg/asm-defuse. 2019. ASM-DefUse. Software Analysis Experimentation Group ( 2019 ). https: //github.com/saeg/asm-defuse.

4. 2020. ARDif. https:// www.doi.org/ 10.17605/ OSF.IO/ CHM2K. www.10.17605/OSF.IO/CHM2K. 2020. ARDif. https:// www.doi.org/ 10.17605/ OSF.IO/ CHM2K. www.10.17605/OSF.IO/CHM2K.

5. 2020. Supplementary Materials. https:// resess.github.io/ PaperAppendices/ ARDif/. 2020. Supplementary Materials. https:// resess.github.io/ PaperAppendices/ ARDif/.

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Oracle-Guided Program Selection from Large Language Models;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Timing Side-Channel Mitigation via Automated Program Repair;ACM Transactions on Software Engineering and Methodology;2024-07-16

3. Verification of Programs with Common Fragments;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

4. PASDA: A partition-based semantic differencing approach with best effort classification of undecided cases;Journal of Systems and Software;2024-07

5. Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks;Proceedings of the ACM on Programming Languages;2024-04-29