Key points are not available for this paper at this time.
We present strategies for metamorphic testing of compilers using opaque value injection, and experiences using the method to test compilers for the OpenGL shading language.
Donaldson et al. (Sat,) studied this question.