Automated test generation for OpenCL kernels using fuzzing and constraint solving.

Chao Peng, Ajitha Rajan

Browse the full PPoPP paper archive.