Skeletal program enumeration for rigorous compiler testing-Reference-Cited by-同舟云学术

Skeletal program enumeration for rigorous compiler testing

Published:2017-06-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Zhang Qirun¹,Sun Chengnian¹,Su Zhendong¹

Affiliation:

1. University of California at Davis, USA

Funder

NSF

Google Faculty Research Award

Publisher

ACM

Link

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

Reference57 articles.

1. Dotty Compiler. http://dotty.epfl.ch/. Dotty Compiler. http://dotty.epfl.ch/.

2. Perennial Inc. Perennial C Compiler Validation Suite. http: //www.peren.com/pages/cvsa_set.htm. Perennial Inc. Perennial C Compiler Validation Suite. http: //www.peren.com/pages/cvsa_set.htm.

3. Plum Hall Inc. The Plum Hall Validation Suite for C. http: //www.plumhall.com/stec.html. Plum Hall Inc. The Plum Hall Validation Suite for C. http: //www.plumhall.com/stec.html.

4. Scala Compiler. http://www.scala-lang.org/. Scala Compiler. http://www.scala-lang.org/.

5. A. Balestrat. CCG. https://github.com/Mrktn/ccg. A. Balestrat. CCG. https://github.com/Mrktn/ccg.

Cited by 39 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. Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing;ACM Transactions on Software Engineering and Methodology;2024-06-04

3. Finding XPath Bugs in XML Document Processors via Differential Testing;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. A Testing Program and Pragma Combination Selection Based Framework for High-Level Synthesis Tool Pragma-Related Bug Detection;IEEE Transactions on Software Engineering;2024-04

5. Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06