The Cogent Case for Property-Based Testing.

Zilin Chen Liam O'Connor Gabriele Keller Gerwin Klein Gernot Heiser

Published in: PLOS@SOSP (2017)

Keyphrases

real time
multiscale
data sets
genetic algorithm
computer vision
three dimensional
cooperative
artificial neural networks
test set