2 citations · 2 across the 3 of their papers we have counts for
3 papers
TRANSMUT-SPARK: Transformation Mutation for Apache Spark
Joao Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar +1
We propose TRANSMUT-Spark, a tool that automates the mutation testing process of Big Data processing code within Spark programs. Apache Spark is an engine for Big Data Processing.…
An Abstract View of Big Data Processing Programs
Joao Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar +1
This paper proposes a model for specifying data flow based parallel data processing programs agnostic of target Big Data processing frameworks. The paper focuses on the formal abst…
Refining interfaces: the case of the B method
David Deharbe, Bruno E. G. Gomes, Anamaria M. Moreira
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive…