GPU

Accelerated Test Execution using GPUs
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
PDF Cite