Symbolic Testing of OpenCL Code | Publicación