Castro, L. M., Lamela, P. and Thompson, S. (2017) “Making Property-Based Testing Easier to Read for Humans”, Computing and Informatics, 35(4), pp. 890–913. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/3381 (Accessed: 3 December 2024).