Repeating History: Execution Replay for Parallel Haskell Programs. - Henrique Ferreiro; Vladimir Janjic; Laura M. Castro; Kevin Hammond (Trends in Functional Programming, 2012)

Turning web services descriptions into quickcheck models for automatic testing. - Miguel A. Francisco; Macías López; Henrique Ferreiro; Laura M. Castro (Erlang Workshop, 2013)

Automatic Generation of Test Models for Web Services Using WSDL and OCL. - Macías López; Henrique Ferreiro; Miguel A. Francisco; Laura M. Castro (ICSOC, 2013)

Kindergarten cop: dynamic nursery resizing for GHC. - Henrique Ferreiro; Laura M. Castro; Vladimir Janjic; Kevin Hammond (CC, 2016)