Castro, L. M., Lamela, P., & Thompson, S. (2016). Making Property-Based Testing Easier to Read for Humans. Computing and Informatics, 35(4), 890–913. https://cai.type.sk/content/2016/4/making-property-based-testing-easier-to-read-for-humans/