Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. - Cláudio Amaral; Mário Florido; Patrik Jansson (Erlang Workshop, 2011)

Testing type class laws. - Johan Jeuring; Patrik Jansson; Cláudio Amaral (Haskell, 2012)

PrologCheck - Property-Based Testing in Prolog. - Cláudio Amaral; Mário Florido; Vítor Santos Costa (FLOPS, 2014)