Compiler bug isolation via effective witness test program generation
ESEC/SIGSOFT FSE, pp. 223-234, 2019.
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 compiler, hundreds of compiler files are usually involved during compilation, and thus are suspect buggy files. Although there are lots of automated bug isol...More
Full Text (Upload PDF)
PPT (Upload PPT)