Can you find bugs in a compiler by generating random programs?