Test-case reduction for C compiler bugs.

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang

Browse the full PLDI paper archive.