Finding and understanding bugs in C compilers

This publication has 18 references indexed in Scilit:

• Formal verification of a realistic compiler
  Communications of the ACM, 2009
• Formal Verification of Avionics Software Products
  Published by Springer Nature ,2009
• HDD
  Published by Association for Computing Machinery (ACM) ,2006
• Random testing of C calling conventions
  Published by Association for Computing Machinery (ACM) ,2005
• Cutpoints for formal equivalence verification of embedded software
  Published by Association for Computing Machinery (ACM) ,2005
• Simplifying and isolating failure-inducing input
  IEEE Transactions on Software Engineering, 2002
• Compiler test case generation methods: a survey and assessment
  Information and Software Technology, 1997
• The automatic generation of test cases for optimizing Fortran compilers
  Information and Software Technology, 1996
• An empirical study of the reliability of UNIX utilities
  Communications of the ACM, 1990
• A sentence generator for testing parsers
  BIT Numerical Mathematics, 1972