Accelerated test execution using GPUs

Bibliographic Details
Main Authors: Rajan, A, Sharma, S, Schrammel, P, Kroening, D
Format: Conference item
Published: ACM 2014