Login / Signup
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