Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '12
Beijing, China
Association for Computing Machinery
New York, NY, USA
Pages 335-346
2012
Note(s):
test-case reduction,
fuzz testing
Notes related to Test-case reduction for C compiler bugs