2 citations · 2 across the 4 of their papers we have counts for
4 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…
Proceedings Tenth International Workshop on Rule-Based Programming
Ian Mackie, Anamaria Martins Moreira
This volume contains the proceedings of RULE 2009: the tenth International Workshop on Rule-Based Programming. It took place in June 28th 2009, Brasilia, Brazil, as a satellite eve…
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…