Luciana Brasil Rebelo dos Santos

According to our database, Luciana Brasil Rebelo dos Santos authored at least 13 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Prioritizing Test Cases with Markov Chains: A Preliminary Investigation.

Luciana Brasil Rebelo dos Santos, Erica Ferreira, Gian Ricardo Berkenbrock, Gerson Barbosa, Marlon da Silva, André Takeshi Endo, Nandamudi Vijaykumar, Catia Trubiani

Proceedings of the Testing Software and Systems, 2023

Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service.

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

Proceedings of the XXIV Brazilian Symposium on Geoinformatics, 2023

2022

A Systematic Literature Review on prioritizing software test cases using Markov chains.

Gerson Barbosa, Érica Ferreira de Souza, Luciana Brasil Rebelo dos Santos, Marlon da Silva, Juliana Marino Balera, Nandamudi Lankalapalli Vijaykumar

Inf. Softw. Technol., 2022

2021

Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0.

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

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping.

Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flávio da Conceição, Nandamudi Lankalapalli Vijaykumar

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

2020

Software requirements testing approaches: a systematic literature review.

Jemison dos Santos, Luiz Eduardo Galvão Martins, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Luciana Brasil Rebelo dos Santos

Requir. Eng., 2020

2019

Software inspections: comparing a formal method based with a classical reading methodology.

Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Albino Vieira Freitas, Cleyton De Castro Mario

Int. J. Comput. Appl. Technol., 2019

Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples.

Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Luciana Brasil Rebelo dos Santos

Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, 2019

2017

A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections.

Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Albino Vieira Freitas

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

2015

Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML.

Luciana Brasil Rebelo dos Santos

PhD thesis, 2015

Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.

Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014

Transformation of UML Behavioral Diagrams to Support Software Model Checking.

Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

A Formal Verification Tool for UML Behavioral Diagrams.

Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014