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