Amaral, C., Florido, M. and Costa, V. S. (2014). PrologCheck - Property-Based Testing in Prolog. FLOPS (pp. 1–17)
Jeuring, J., Jansson, P. and Amaral, C. (2012). Testing Type Class Laws. ACM SIGPLAN NOTICES, 47 (12), pp. 49-60
Amaral, C., Florido, M. and Jansson, P. (2011). Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop (pp. 92–93)
Elven