GKLEE: concolic verification and test generation for GPUs.

Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan

Browse the full PPoPP paper archive.