Finding deep compiler bugs via guided stochastic program mutation-Reference-Cited by-同舟云学术

Finding deep compiler bugs via guided stochastic program mutation

Published:2015-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
language:
Short-container-title:

Author:

Le Vu¹,Sun Chengnian¹,Su Zhendong¹

Affiliation:

1. University of California at Davis, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference31 articles.

1. ACE. SuperTest compiler test and validation suite. URL http://www.ace.nl/compiler/supertest.html. ACE. SuperTest compiler test and validation suite. URL http://www.ace.nl/compiler/supertest.html.

2. A. Balestrat. CCG: A random C code generator. URL https://github.com/Merkil/ccg/. A. Balestrat. CCG: A random C code generator. URL https://github.com/Merkil/ccg/.

3. Taming compiler fuzzers

4. Many-core compiler fuzzing

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

1. Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24

2. Boosting Compiler Testing by Injecting Real-World Code;Proceedings of the ACM on Programming Languages;2024-06-20

3. Differential Optimization Testing of Gremlin-Based Graph Database Systems;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

4. UBFuzz: Finding Bugs in Sanitizer Implementations;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17

5. API-Driven Program Synthesis for Testing Static Typing Implementations;Proceedings of the ACM on Programming Languages;2024-01-05