Castro, L.M. et al. 2017. Making Property-Based Testing Easier to Read for Humans. COMPUTING AND INFORMATICS. 35, 4 (Feb. 2017), 890–913.