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)

Semantic Web Services testing: A Systematic Mapping study. - João Batista de Souza Neto; Anamaria Martins Moreira; Martin A. Musicante (Comput. Sci. Rev., 2018)

Mutation Operators for Large Scale Data Processing Programs in Spark. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin Alejandro Musicante (CAiSE, 2020)

Modeling Big Data Processing Programs. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (SBMF, 2020)

An Abstract View of Big Data Processing Programs. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (CoRR, 2021)

A two-level formal model for Big Data processing programs. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (Sci. Comput. Program., 2022)

TRANSMUT-Spark: Transformation mutation for Apache Spark. - João Batista de Souza Neto; Anamaria Martins Moreira; Genoveva Vargas-Solar; Martin A. Musicante (Softw. Test. Verification Reliab., 2022)