João Batista de Souza Neto

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 8

Top Topics

Data Processing

Mutation Operator

Test Generation

Top Venues

Softw. Test. Verification Reliab.

Sci. Comput. Program.

Comput. Sci. Rev.

Publications

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
TRANSMUT-Spark: Transformation mutation for Apache Spark. Softw. Test. Verification Reliab. 32 (8) (2022)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
A two-level formal model for Big Data processing programs. Sci. Comput. Program. 215 (2022)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
TRANSMUT-SPARK: Transformation Mutation for Apache Spark. CoRR (2021)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
An Abstract View of Big Data Processing Programs. CoRR (2021)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
Modeling Big Data Processing Programs. SBMF (2020)
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin Alejandro Musicante
Mutation Operators for Large Scale Data Processing Programs in Spark. CAiSE (2020)
João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante
Semantic Web Services testing: A Systematic Mapping study. Comput. Sci. Rev. 28 (2018)
Ernesto Cid Brasil de Matos, Anamaria Martins Moreira, João Batista de Souza Neto
An empirical study of test generation with BETA. J. Braz. Comput. Soc. 22 (1) (2016)
Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. TAP@STAF (2015)