Silent Compiler Bug De-duplication via Three-Dimensional Analysis-Reference-Cited by-同舟云学术

Silent Compiler Bug De-duplication via Three-Dimensional Analysis

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Yang Chen¹,Chen Junjie¹,Fan Xingyu¹,Jiang Jiajun¹,Sun Jun²

Affiliation:

1. Tianjin University, China

2. Singapore Management University, Singapore

Funder

National Natural Science Foundation of China

Publisher

ACM

Link

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

Reference59 articles.

1. 2020. Clang Static Analyzer. https://gcc.gnu.org/onlinedocs/gcc/Gcov.html 2020. Clang Static Analyzer. https://gcc.gnu.org/onlinedocs/gcc/Gcov.html

2. 2022. D3 homepage. https://github.com/chenyangyc/D3 2022. D3 homepage. https://github.com/chenyangyc/D3

3. 2022. GCC. https://gcc.gnu.org 2022. GCC. https://gcc.gnu.org

4. 2022. LLVM. https://llvm.org 2022. LLVM. https://llvm.org

5. 2022. tree-sitter. https://github.com/tree-sitter/tree-sitter 2022. tree-sitter. https://github.com/tree-sitter/tree-sitter

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

1. Testing Graph Database Systems with Graph-State Persistence Oracle;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30