Foundational Property-Based Testing.

Zoe Paraskevopoulou Catalin Hritcu Maxime Dénès Leonidas Lampropoulos Benjamin C. Pierce

Published in: ITP (2015)

Keyphrases

neural network
data sets
desirable properties
databases
machine learning
computer vision
high level
learning environment
digital libraries
information technology
training set
test cases
test generation
monotonicity property