VLDB 2026 Research / reviewers in the wild / expert
Anamaria Martins Moreira
dblp:17/3197
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 SparkabstractSummary 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 |
CAiSE | 2 |
| 2015 | Reducing the Cost of Grammar-Based Testing Using Pattern Coverage
Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira |
ICTSS | 3 |
| 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 |
ICECCS | 3 |
| 2002 | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen |
RTA | 2 |