Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions-Reference-Cited by-同舟云学术

Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions

Published:2014 Issue:0 Volume:7 Page:91-100
ISSN:1882-6687
Container-title:IPSJ Transactions on System LSI Design Methodology
language:en
Short-container-title:IPSJ Transactions on System LSI Design Methodology

Author:

Nagai Eriko,Hashimoto Atsushi,Ishiura Nagisa

Publisher

Information Processing Society of Japan

Subject

Electrical and Electronic Engineering,Computer Science Applications

Link

https://www.jstage.jst.go.jp/article/ipsjtsldm/7/0/7_91/_pdf

Reference15 articles.

1. [1] Plum Hall, Inc.: The Plum Hall Validation Suite for C (online), available from <http://www.plumhall.com/stec.html>(accessed 2013-11-23).

2. [2] ACE Associated Computer Experts: SuperTest compiler test and validation suite (online), available from <http://www.ace.nl/compiler/supertest.html>(accessed 2013-11-23).

3. [3] Free Software Foundation, Inc.: Installing GCC: Testing (online), available from <http://gcc.gnu.org/install/test.html>(accessed 2013-11-23).

4. [4] Fukumoto, T., Morimoto, K., and Ishiura N.: Accelerating regression test of compilers by test program merging, Proc. Workshop on Synthesis And System Integration of Mixed Information Technologies, pp. 42-47 (2012).

5. [5] Lindig, C.: Find a compiler bug in 5 minutes, Proc. ACM Intl. Symposium on Automated Analysis-Driven Debugging, pp.3-12 (2005).

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

1. PPR: Pairwise Program Reduction;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. PyRTFuzz: Detecting Bugs in Python Runtimes via Two-Level Collaborative Fuzzing;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

3. Detecting Interpreter Bugs via Filling Function Calls in Skeletal Program Enumeration;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09

4. FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

5. Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages;Proceedings of the ACM on Programming Languages;2023-06-06