Randomized stress-testing of link-time optimizers-Reference-Cited by-同舟云学术

Randomized stress-testing of link-time optimizers

Published:2015-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 International Symposium on Software Testing and Analysis
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/2771783.2771785

Reference26 articles.

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

2. B. Anckaert F. Vandeputte B. Bus B. Sutter and K. Bosschere . Link-time optimization of ia64 binaries . In M. Danelutto M. Vanneschi and D. Laforenza editors Euro-Par 2004 Parallel Processing volume 3149 of Lecture Notes in Computer Science pages 284– 291 . Springer Berlin Heidelberg 2004. B. Anckaert F. Vandeputte B. Bus B. Sutter and K. Bosschere. Link-time optimization of ia64 binaries. In M. Danelutto M. Vanneschi and D. Laforenza editors Euro-Par 2004 Parallel Processing volume 3149 of Lecture Notes in Computer Science pages 284–291. Springer Berlin Heidelberg 2004.

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

4. Taming compiler fuzzers

5. Link-time compaction and optimization of ARM executables

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. Differential Optimization Testing of Gremlin-Based Graph Database Systems;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

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. API-Driven Program Synthesis for Testing Static Typing Implementations;Proceedings of the ACM on Programming Languages;2024-01-05