Castro, L. M.; Lamela, P.; Thompson, S. Making Property-Based Testing Easier to Read for Humans. Comput. Inform. 2017, 35, 890-913.