Automatic Test Case Reduction for OpenCL - Pflanzer, M; Donaldson, AF; Lascu, A (ACM, 2016)