Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
CIL: Intermediate language and tools for analysis and transformation of C programs