Luciana Brasil Rebelo dos Santos

17 papers B 1C 3Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Performance regression testing initiatives: a systematic mapping.
Inf. Softw. Technol.
Luciana Brasil Rebelo dos Santos, Érica Ferreira de Souza, André Takeshi Endo, Catia Trubiani, Riccardo Pinciroli, Nandamudi Lankalapalli Vijaykumar
2024 B conf
COBOL: COmmunity-Based Organized Littering.
SEAA
Luciano Baresi, Simone Bianco, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Brasil Rebelo dos Santos, Maria Teresa Rossi, Raimondo Schettini
2023 C conf
A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains.
ICTSS
Gerson Barbosa, Erica Ferreira, Luciana Brasil Rebelo dos Santos, Marlon da Silva, Juliana Marino Balera, Nandamudi Vijaykumar
2023 — conf
Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service.
GEOINFO
Diego Sousa, Daniela L. Musa, Nandamudi Vijaykumar, Rodrigo M. Mariano, Luciana Brasil Rebelo dos Santos, Raphael Augusto O. Silva, Luanna G. M. do Nascimento, Luís A. Ferla, Karla Donato Fook
2023 C conf
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation.
ICTSS
Luciana Brasil Rebelo dos Santos, Erica Ferreira, Gian Ricardo Berkenbrock, Gerson Barbosa, Marlon da Silva, André Takeshi Endo, Nandamudi Vijaykumar, Catia Trubiani
2022 J jnl
A Systematic Literature Review on prioritizing software test cases using Markov chains.
Inf. Softw. Technol.
Gerson Barbosa, Érica Ferreira de Souza, Luciana Brasil Rebelo dos Santos, Marlon da Silva, Juliana Marino Balera, Nandamudi Lankalapalli Vijaykumar
2021 C conf
Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0.
WEBIST
Karla Donato Fook, Daniela Leal Musa, Nandamudi Vijaykumar, Rodrigo M. Mariano, Gabriel dos Reis Morais, Raphael Augusto O. Silva, Gabriel Sansigolo, Luciana Brasil Rebelo dos Santos, Luís Antônio Coelho Ferla, Cintia Almeida, Luanna G. M. do Nascimento, Vitória Martins Fontes da Silva, Monaliza C. dos Santos, Aracele Torres, Ângela Pereira, Fernando Atique, Jeffrey Lesser, Thomas D. Rogers, Andrew G. Britt, Rafael Laguardia, Ana Maria Alves Barbour, Orlando Guarnier Farias, Ariana Marco, Caróu Dickinson, Sand Tamires P. Camargo
2021 — conf
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping.
ICCSA (4)
Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flávio da Conceição, Nandamudi Lankalapalli Vijaykumar
2021 J jnl
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping.
CoRR
Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flávio da Conceição, Nandamudi Lankalapalli Vijaykumar
2020 J jnl
Software requirements testing approaches: a systematic literature review.
Requir. Eng.
Jemison dos Santos, Luiz Eduardo Galvão Martins, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Luciana Brasil Rebelo dos Santos
2019 — conf
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples.
SAST
Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Luciana Brasil Rebelo dos Santos
2019 J jnl
Software inspections: comparing a formal method based with a classical reading methodology.
Int. J. Comput. Appl. Technol.
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Albino Vieira Freitas, Cleyton De Castro Mario
2017 — conf
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections.
ICCSA (5)
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Albino Vieira Freitas
2015 — conf
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.
ICCSA (4)
Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar
2015 — —
Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML.
Luciana Brasil Rebelo dos Santos
2014 — conf
A Formal Verification Tool for UML Behavioral Diagrams.
ICCSA (1)
Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar
2014 — conf
Transformation of UML Behavioral Diagrams to Support Software Model Checking.
FESCA
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar