Detecting bank conflict of GPU programs using symbolic execution.

Koki Hamaya Satoshi Yamane

Published in: GCCE (2016)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
generation algorithm
search space
general purpose
logic programs
test cases
formal specification
quality assurance