Chao Peng, Ajitha Rajan. Automated test generation for OpenCL kernels using fuzzing and constraint solving. In Adwait Jog, Onur Kayiran, Ashutosh Pattnaik, editors, GPGPU@PPoPP '20: 13th Annual Workshop on General Purpose Processing using Graphics Processing Unit colocated with 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 23, 2020. pages 61-70, ACM, 2020. [doi]
Abstract is missing.