Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Anamaria Martins Moreira"'
Autor:
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas‐Solar, Martin A. Musicante
Publikováno v:
Software Testing, Verification and Reliability. 32
Autor:
Joao Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas Solar, Musicante, Martin A.
Publikováno v:
23rd Brazilian Symposium, SBMF 2020
23rd Brazilian Symposium, SBMF 2020, 2020-11-25, Nov 2020, Ouro Preto, Brazil
HAL
23rd Brazilian Symposium, SBMF 2020, 2020-11-25, Nov 2020, Ouro Preto, Brazil
HAL
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. It hides the complexity inherent to Big Data parallel and distributed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41de13ceb478ff1a9281b261706f4abc
Autor:
Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante, João Batista de Souza Neto
Publikováno v:
Advanced Information Systems Engineering ISBN: 9783030494346
CAiSE
CAISE 2020
CAISE 2020, pp.482-497, 2020, ⟨10.1007/978-3-030-49435-3_30⟩
CAiSE
CAISE 2020
CAISE 2020, pp.482-497, 2020, ⟨10.1007/978-3-030-49435-3_30⟩
This paper proposes a mutation testing approach for big data processing programs that follow a data flow model, such as those implemented on top of Apache Spark. Mutation testing is a fault-based technique that relies on fault simulation by modifying
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3001db14bcf09d151b7e826694c92f87
https://doi.org/10.1007/978-3-030-49435-3_30
https://doi.org/10.1007/978-3-030-49435-3_30
Autor:
Martin A. Musicante, Genoveva Vargas-Solar, Anamaria Martins Moreira, João Batista de Souza Neto
Publikováno v:
23RD BRAZILIAN SYMPOSIUM ON FORMAL METHODS
23RD BRAZILIAN SYMPOSIUM ON FORMAL METHODS, Nov 2020, Ouro Preto, Brazil
Lecture Notes in Computer Science ISBN: 9783030638818
SBMF
23RD BRAZILIAN SYMPOSIUM ON FORMAL METHODS, Nov 2020, Ouro Preto, Brazil
Lecture Notes in Computer Science ISBN: 9783030638818
SBMF
We propose a new model for data processing programs. Our model generalizes the data flow programming style implemented by systems such as Apache Spark, DryadLINQ, Apache Beam and Apache Flink. The model uses directed acyclic graphs (DAGs) to represen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c25be8c96a4613296752d282cb78b0c5
https://hal.archives-ouvertes.fr/hal-03039212
https://hal.archives-ouvertes.fr/hal-03039212
Autor:
João Batista de Souza Neto, Anamaria Martins Moreira, Genoveva Vargas-Solar, Martin A. Musicante
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, In press
Science of Computer Programming, Elsevier, In press
International audience; 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 abstract specification of non-iterative and iterat
Publikováno v:
Computer Science Review. 28:140-156
A Semantic Web Service (SWS) is a web service attached with a description that defines its semantic in a computer-interpretable language. This semantic description plays an essential role in the automation of tasks in the web services lifecycle and f
Publikováno v:
Journal of the Brazilian Computer Society. 22
BETA (Bbased testing approach) is a toolsupported approach to generate test cases from Bmethod specifications through the application of input space partitioning and logical coverage criteria. The BETA tool automates the whole process, from the desig
Publikováno v:
Electronic Notes in Theoretical Computer Science. 184:81-96
This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method. Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as p
Publikováno v:
Electronic Notes in Theoretical Computer Science. 184:133-149
This paper defines the basis for the implementation in CASL (Common Algebraic Specification Language) of an interval library such that intervals behave as real numbers endowed with an error information. To achieve that, we redefine the notion of inte
Autor:
João Batista de Souza Neto, Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Valério Medeiros, Ernesto Cid Brasil de Matos
Publikováno v:
Tests and Proofs ISBN: 9783319212142
TAP@STAF
TAP@STAF
In this paper, we present a case study where two code generators for the B-Method were validated using software testing techniques. Our testing strategy is a combination of Grammar-Based Testing (GBT) and Model-Based Testing (MBT) techniques. The str
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d572122af18bc74bbedb6ec2dfa3ce0
https://doi.org/10.1007/978-3-319-21215-9_5
https://doi.org/10.1007/978-3-319-21215-9_5