Compiler bug isolation via effective witness test program generation-Reference-Cited by-同舟云学术

Compiler bug isolation via effective witness test program generation

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

Author:

Chen Junjie¹,Han Jiaqi²,Sun Peiyi²,Zhang Lingming³,Hao Dan²,Zhang Lu²

Affiliation:

1. Tianjin University, China

2. Peking University, China

3. University of Texas at Dallas, USA

Funder

National Key Research and Development Program of China

National Natural Science Foundation of China

Amazon

NSF

Publisher

ACM

Link

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

Reference89 articles.

1. Accessed: 2019. Clang Libtooling library. http://clang.llvm.org/docs/LibTooling. html. Accessed: 2019. Clang Libtooling library. http://clang.llvm.org/docs/LibTooling. html.

2. Accessed: 2019. GCC. https://gcc.gnu.org. Accessed: 2019. GCC. https://gcc.gnu.org.

3. Accessed: 2019. GCC bug repository. https://gcc.gnu.org/bugzilla/. Accessed: 2019. GCC bug repository. https://gcc.gnu.org/bugzilla/.

4. Accessed: 2019. Gcov. https://gcc.gnu.org/onlinedocs/gcc/Gcov.html. Accessed: 2019. Gcov. https://gcc.gnu.org/onlinedocs/gcc/Gcov.html.

5. Accessed: 2019. LLVM. https://llvm.org. Accessed: 2019. LLVM. https://llvm.org.

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

1. AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Isolation-Based Debugging for Neural Networks;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models;IEEE Transactions on Software Engineering;2024-07

4. PPR: Pairwise Program Reduction;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving;IEEE Transactions on Software Engineering;2023-11