\mathsf Harvey : A System for Random Testing in ASP.

Alexander Greßler Johannes Oetsch Hans Tompits

Published in: LPNMR (2017)

Keyphrases

answer set programming
test data
machine learning
database systems
medical images
test set
uniformly distributed
neural network
artificial intelligence
computer vision
website
three dimensional
search algorithm
hidden markov models
end users
web applications