Bounded exhaustive test-input generation on GPUs.

Ahmet Çelik Sreepathi Pai Sarfraz Khurshid Milos Gligoric

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

general purpose
neural network
computer vision
input data
test data
parallel processing
user input
database
databases
learning algorithm
artificial intelligence
case study