@inproceedings{
Regehr12TestCase,
Author = {John Regehr and Yang Chen and Pascal Cuoq and Eric Eide and Chucky Ellison and Xuejun Yang},
Title = {{Test-Case} Reduction for C Compiler Bugs},
Booktitle = {PLDI},
DOI = {10.1145/2254064.2254104},
Year = {2012}
}