Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser. The Cogent Case for Property-Based Testing. In Julia Lawall, editor, Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017. pages 1-7, ACM, 2017. [doi]
Abstract is missing.