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).