João Batista de Souza Neto

TL;DR: This paper aims to identify and characterize the existing testing initiatives for SWSs by conducting a Systematic Mapping, which showed the primary goals and issues addressed by the initiatives, the testing techniques applied, evidence on the maturity of the area and trends.

TL;DR: This case study presents a case study where two code generators for the B-Method were validated using software testing techniques, a combination of Grammar-Based Testing (GBT) and Model-Based testing (MBT) techniques.

TL;DR: This paper proposes a set of mutation operators designed for Spark programs characterized by a data flow and data processing operations and shows that mutation operators can contribute to the testing process, in the construction of reliable Spark programs.

TL;DR: The results of this study showed that BETAgenerated test scenarios for the different criteria follow theoretical expectations in terms of criteria subsumption and the BETA implementation of the logical criteria generates more efficient test sets regarding code and mutation coverage than the input space partitioning ones.

TL;DR: This model generalizes the data flow programming style implemented by systems such as Apache Spark, DryadLINQ, Apache Beam and Apache Flink and uses Monoid Algebra to model operations over distributed, partitioned datasets and Petri Nets to represent the data/control flow.