Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. - Cleverton Hentz; Jurgen J. Vinju; Anamaria Martins Moreira (ICTSS, 2015)

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. - Anamaria Martins Moreira; Cleverton Hentz; David Déharbe; Ernesto Cid Brasil de Matos; João Batista de Souza Neto; Valério de Medeiros Jr. (TAP@STAF, 2015)

A family of coverage criteria based on patterns to the test of metaprograms - Cleverton Hentz (2017)