Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)-Reference-Cited by-同舟云学术

Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)

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:

Zhao Yingquan¹,Chen Junjie¹,Fu Ruifeng¹,Ye Haojie²,Wang Zan¹

Affiliation:

1. Tianjin University, China

2. Huawei, China

Funder

National Natural Science Foundation of China

Publisher

ACM

Link

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

Reference48 articles.

1. 2023. GCC. http://gcc.gnu.org/ 2023. GCC. http://gcc.gnu.org/

2. 2023. LLVM. https://llvm.org/ 2023. LLVM. https://llvm.org/

3. A practical guide for using statistical tests to assess randomized algorithms in software engineering

4. Rohan Bavishi , Caroline Lemieux , Koushik Sen , and Ion Stoica . 2021 . Gauss: program synthesis by reasoning over graphs . Proc. ACM Program. Lang., 5, OOPSLA (2021), 1–29. Rohan Bavishi, Caroline Lemieux, Koushik Sen, and Ion Stoica. 2021. Gauss: program synthesis by reasoning over graphs. Proc. ACM Program. Lang., 5, OOPSLA (2021), 1–29.

5. Compiler test case generation methods: a survey and assessment

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

1. SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

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

3. MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11