L. M. Castro, P. Lamela, and S. Thompson, “Making Property-Based Testing Easier to Read for Humans”, Comput. Inform., vol. 35, no. 4, pp. 890–913, Feb. 2017.