JQF: coverage-guided property-based testing in Java

Rohan Padhye, Caroline Lemieux, Koushik Sen. JQF: coverage-guided property-based testing in Java. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 398-401, ACM, 2019. [doi]

Abstract

Abstract is missing.