Symbolic Testing of OpenCL Code.

Peter Collingbourne Cristian Cadar Paul H. J. Kelly

Published in: Haifa Verification Conference (2011)

Keyphrases

address space
concurrent programs
unit testing
parallel algorithm
source code
code generation
case study
test cases
software testing
test generation
test driven development
database
error correcting
test data
test set
database systems
information systems
databases