A survey of compiler testing

J Chen, J Patra, M Pradel, Y Xiong, H Zhang… - ACM Computing …, 2020 - dl.acm.org
Virtually any software running on a computer has been processed by a compiler or a
compiler-like tool. Because compilers are such a crucial piece of infrastructure for building …

An empirical comparison of compiler testing techniques

J Chen, W Hu, D Hao, Y Xiong, H Zhang… - Proceedings of the 38th …, 2016 - dl.acm.org
Compilers, as one of the most important infrastructure of today's digital world, are expected
to be trustworthy. Different testing techniques are developed for testing compilers …

Compiler test case generation methods: a survey and assessment

AS Boujarwah, K Saleh - Information and software technology, 1997 - Elsevier
Software testing is an important and critical phase of the application software development
life cycle. Testing is a time consuming and costly stage that requires a high degree of …

Finding and understanding bugs in C compilers

X Yang, Y Chen, E Eide, J Regehr - Proceedings of the 32nd ACM …, 2011 - dl.acm.org
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a
randomized test-case generation tool, and spent three years using it to find compiler bugs …

Learning to prioritize test programs for compiler testing

J Chen, Y Bai, D Hao, Y Xiong… - 2017 IEEE/ACM 39th …, 2017 - ieeexplore.ieee.org
Compiler testing is a crucial way of guaranteeing the reliability of compilers (and software
systems in general). Many techniques have been proposed to facilitate automated compiler …

Toward understanding compiler bugs in GCC and LLVM

C Sun, V Le, Q Zhang, Z Su - … of the 25th international symposium on …, 2016 - dl.acm.org
Compilers are critical, widely-used complex software. Bugs in them have significant impact,
and can cause serious damage when they silently miscompile a safety-critical application …

Compiler bug isolation via effective witness test program generation

J Chen, J Han, P Sun, L Zhang, D Hao… - Proceedings of the 2019 …, 2019 - dl.acm.org
Compiler bugs are extremely harmful, but are notoriously difficult to debug because compiler
bugs usually produce few debugging information. Given a bug-triggering test program for a …

Random testing of C calling conventions

C Lindig - Proceedings of the sixth international symposium on …, 2005 - dl.acm.org
In a C compiler, function calls are difficult to implement correctly because they must respect
a platform-specific calling convention. But they are governed by a simple invariant …

Random testing for C and C++ compilers with YARPGen

V Livinskii, D Babokin, J Regehr - Proceedings of the ACM on …, 2020 - dl.acm.org
Compilers should not crash and they should not miscompile applications. Random testing is
an effective method for finding compiler bugs that have escaped other kinds of testing. This …

Finding and analyzing compiler warning defects

C Sun, V Le, Z Su - Proceedings of the 38th International Conference on …, 2016 - dl.acm.org
Good compiler diagnostic warnings facilitate software development as they indicate likely
programming mistakes or code smells. However, due to compiler bugs, the warnings may be …