JQF: coverage-guided property-based testing in Java.

Rohan Padhye Caroline Lemieux Koushik Sen

Published in: ISSTA (2019)

Keyphrases

test suite
java programs
object oriented
source code
test cases
test generation
lightweight
database applications
white box testing
set of test cases
code coverage
quality assurance
web services
web applications
programming language
general purpose
multi threaded
data structure
high level
database