From formal requirements to automated web testing and prototyping. - Ernesto Cid Brasil de Matos; Thiago C. Sousa (Innov. Syst. Softw. Eng., 2010)

BETA: A B Based Testing Approach. - Ernesto Cid Brasil de Matos; Anamaria Martins Moreira (SBMF, 2012)

Complementing the B-Method with Model-Based Testing. - Ernesto Cid Brasil de Matos (STAF Doctoral Symposium, 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)

An empirical study of test generation with BETA. - Ernesto Cid Brasil de Matos; Anamaria Martins Moreira; João Batista de Souza Neto (J. Braz. Comput. Soc., 2016)