"Automated Testing of Graphics Shader Compilers"
http://multicore.doc.ic.ac.uk/publications/oopsla-17.html