Anamaria Martins Moreira

dblp:17/3197 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
2since 2021 · last 2022
0000-0002-7707-8469ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 6 · 2 since 2021Databases, data management, data science and information retrieval · 1Theory of computation · 1
YearPublicationVenuePosition
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.2
2022 TRANSMUT-Spark: Transformation mutation for Apache Spark
abstract
Summary This paper proposesTRANSMUT‐Sparkfor automating mutation testing of big data processing code within Spark programs. Apache Spark is an engine for big data analytics/processing that hides the inherent complexity of parallel big data programming. Nonetheless, programmers must cleverly combine Spark built‐in functions within programs and guide the engine to use the right data management strategies to exploit the computational resources required by big data processing and avoid substantial production losses. Many programming details in Spark data processing code are prone to false statements that must be correctly and automatically tested. This paper explores the application of mutation testing in Spark programs, a fault‐based testing technique that relies on fault simulation to evaluate and design test sets. The paper introducesTRANSMUT‐Sparkfor testing Spark programs by automating the most laborious steps of the process and fully executing the mutation testing process. The paper describes how theTRANSMUT‐Sparkautomates the mutant generation, test execution and adequacy analysis phases of mutation testing. It also discusses the results of experiments to validate the tool and argues its scope and limitations.
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
Softw. Test. Verification Reliab.2
2020 Mutation Operators for Large Scale Data Processing Programs in Spark
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
CAiSE2
2015 Reducing the Cost of Grammar-Based Testing Using Pattern Coverage
Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira
ICTSS3
2012 JCML: A specification language for the runtime verification of Java Card programs
Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto
Sci. Comput. Program.2
2006 Automation of Java Card component development using the B method
David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira
ICECCS3
2002 Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
RTA2