Coverage guided, property based testing.

Leonidas Lampropoulos Michael Hicks Benjamin C. Pierce

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

Keyphrases

test suite
test cases
neural network
multiscale
desirable properties
test generation
regression testing
code coverage
monotonicity property
website
three dimensional
data model
special case
source code
test set