Zobrazeno 1 - 7
of 7
pro vyhledávání: '"João Batista de Souza Neto"'
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2980f445bfb8bf63b4720f3d90fe82af
https://doi.org/10.1002/stvr.1809
https://doi.org/10.1002/stvr.1809
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8332474d71a71e1b132a94c4d61ec73a
https://doi.org/10.1016/j.scico.2021.102764
https://doi.org/10.1016/j.scico.2021.102764
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21f83925919342753ed078597ade259a
https://doi.org/10.1016/j.cosrev.2018.03.002
https://doi.org/10.1016/j.cosrev.2018.03.002
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::921e322a458c2d31faf50af09831f3cc
https://doi.org/10.1186/s13173-016-0048-1
https://doi.org/10.1186/s13173-016-0048-1
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