Characterizing and Detecting CUDA Program Bugs.

Mingyuan Wu Husheng Zhou Lingming Zhang Cong Liu Yuqun Zhang

Published in: CoRR (2019)

Keyphrases

test cases
static analysis
general purpose
automatic detection
data sets
databases
neural network
program execution