João Batista de Souza Neto

According to our database, João Batista de Souza Neto authored at least 8 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

2021

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

2020

Modeling Big Data Processing Programs.

João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

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

Proceedings of the Advanced Information Systems Engineering, 2020

2018

Semantic Web Services testing: A Systematic Mapping study.

João Batista de Souza Neto, Anamaria Martins Moreira, Martin A. Musicante

Comput. Sci. Rev., 2018

2016

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

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.

Proceedings of the Tests and Proofs - 9th International Conference, 2015