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