Test-case reduction for C compiler bugs

John Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. Test-case reduction for C compiler bugs. SIGPLAN Notices, 47(6):335-346, jun 2012. [doi]

Bibliographies