Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
GKLEE: concolic verification and test generation for GPUs
PPoPP, 2012.
@inproceedings{PPoPP-2012-LiLSGGR,
author = "Guodong Li and Peng Li and Geoffrey Sawaya and Ganesh Gopalakrishnan and Indradeep Ghosh and Sreeranga P. Rajan",
booktitle = "{Proceedings of the 17th Symposium on Principles and Practice of Parallel Programming}",
doi = "10.1145/2145816.2145844",
isbn = "978-1-4503-1160-1",
pages = "215--224",
publisher = "{ACM}",
title = "{GKLEE: concolic verification and test generation for GPUs}",
year = 2012,
}