2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.

Publicações

2026

Toward a non-invasive robotic-supported approach for data loss detection in android applications

FREITAS, DAVI; MIRANDA, BRENO; Iyoda, Juliano
INFORMATION AND SOFTWARE TECHNOLOGY
2025

Mobile Robotics for Throughput Testing in a Reconfigurable Test Environment

ARAÚJO, EDUARDO; MIRANDA, BRENO
[SBES] Simpósio Brasileiro de Engenharia de Software
2025

A Tool-Assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency

COUTO, MARIA; MIRANDA, BRENO; GAMA, KIEV
[ICST] 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)
2025

Simulating Non-Functional Communication Requirements in Automotive Software

PESTANA, LARISSA; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2025

Deploying a Low-Cost Vision-Guided Cartesian Robot for Physical Interaction in Mobile Testing: An Industrial Case Study

LOPES, MATHEUS; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2025

Energy-Aware Software Testing

VERDECCHIA, ROBERTO; CRUCIANI, EMILIO; BERTOLINO, ANTONIA; MIRANDA, BRENO
2025 IEEE/ACM 47th International Conference on Software Engineering: New Ideas and Emerging Results (ICSENIER)
2025

Leveraging N-Version Testing to Define Approximate Oracles for Performance Testing

MARCELINO, CRÍSSIA; MIRANDA, BRENO
[SBES] Simpósio Brasileiro de Engenharia de Software
2025

Microservices testing: A systematic literature review

PONCE, FRANCISCO; VERDECCHIA, ROBERTO; MIRANDA, BRENO; SOLDANI, JACOPO
INFORMATION AND SOFTWARE TECHNOLOGY
2025

Teste de Resiliência do Celery: Uma Abordagem Experimental com Injeção de Falhas

LIMA, PEDRO; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2024

RFNIT: Robotic Framework for Non-invasive Testing

FREITAS, DAVI; MIRANDA, BRENO; Iyoda, Juliano
[FSE] FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering
2024

A Rapid Review on Advanced Software-in-the-Loop Methods for Automotive Software Verification

PESTANA, LARISSA; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2024

Robotic-supported Data Loss Detection in Android Applications

FREITAS, DAVI; MIRANDA, BRENO; Iyoda, Juliano
[SBES] Simpósio Brasileiro de Engenharia de Software
2024

Reducing Rework in Automotive Software through Simulation-Guided Verification

PESTANA, LARISSA; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2024

TString: a tool to locate the target string?s screen based on automatic exploration

FELIPE, LAIS; MIRANDA, BRENO; COUTO, MARIA
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2023

In vivo test and rollback of Java applications as they are

BERTOLINO, ANTONIA; DE ANGELIS, GUGLIELMO; MIRANDA, BRENO; TONELLA, PAOLO
SOFTWARE TESTING VERIFICATION & RELIABILITY
2023

State of Practical Applicability of Regression Testing Research: A Live Systematic Literature Review

GRECA, RENAN; MIRANDA, BRENO; BERTOLINO, ANTONIA
ACM COMPUTING SURVEYS
2023

An Industrial Experience Report on the Challenges in Training Localization and Internationalization Testers

COUTO, M. R. L.; MIRANDA, BRENO
[SAST] Brazilian Symposium on Systematic and Automated Software Testing (SAST 2023)
2023

A Comparative Analysis of Mobile UI Testing Frameworks in Continuous Integration Environments

COSTA, G.; MIRANDA, BRENO
[SAST] Brazilian Symposium on Systematic and Automated Software Testing (SAST 2023)
2023

l10n-trainer: a Tool to Assist in the Training of Localization (l10n) and Internationalization (i18n) Testers

COUTO, MARIA RAQUEL LOPES DE; MIRANDA, BRENO
XXXVII Brazilian Symposium on Software Engineering
2023

An Industrial Experience Report on the Adoption of History-based Test Case Prioritization

SIQUEIRA, VINICIUS; MIRANDA, BRENO
[SAST] Brazilian Symposium on Systematic and Automated Software Testing (SAST 2023)
2023

Supporting Localization Testing through Automated Application Navigation

FELIPE, LAIS PEREIRA; MIRANDA, BRENO
[SBQS] Anais Estendidos do Simpósio Brasileiro de Qualidade de Software
2023

Test Flakiness Across Programming Languages

BARBOSA, KEILA; FERREIRA, RONIVALDO; PINTO, Gustavo; DAMORIM, MARCELO; MIRANDA, BRENO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2023

Do you see any problem? On the Developers Perceptions in Test Smells Detection

LIMA, RODRIGO; COSTA, KEILA; SOUZA, JAIRO; TEIXEIRA, Leopoldo; FONSECA, BALDOINO; D'AMORIM, Marcelo; RIBEIRO, MÁRCIO; MIRANDA, BRENO
[SBQS] SBQS '23: XXII Brazilian Symposium on Software Quality
2023

Orchestration Strategies for Regression Test Suites

GRECA, RENAN; MIRANDA, BRENO; BERTOLINO, ANTONIA
[AST] 2023 IEEE/ACM International Conference on Automation of Software Test (AST)
2023

Use of robotic arms for automation of android-based mobile app testing through a truly black box perspective

PINHEIRO, ANTONIO ADRIELSON RODRIGUES; MIRANDA, BRENO
[SBQS] Anais Estendidos do Simpósio Brasileiro de Qualidade de Software
2023

DevOpRET: Continuous reliability testing in DevOps

BERTOLINO, ANTONIA; ANGELIS, GUGLIELMO DE; GUERRIERO, ANTONIO; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
Journal of Software-Evolution and Process
2022

Investigating the Adoption of History-based Prioritization in the Context of Manual Testing in a Real Industrial Setting

SIQUEIRA, VINICIUS; MIRANDA, BRENO
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
2022

Towards Improving Automation Support for Internationalization and Localization Testing

COUTO, MARIA RAQUEL LOPES DE; MIRANDA, BRENO
[SBQS] Anais Estendidos do Simpósio Brasileiro de Qualidade de Software
2022

Testing non-testable programs using association rules

BERTOLINO, ANTONIA; CRUCIANI, EMILIO; MIRANDA, BRENO; VERDECCHIA, ROBERTO
[AST] AST '22: IEEE/ACM 3rd International Conference on Automation of Software Test
2022

RVprio: A tool for prioritizing runtime verification violations

CABRAL, LUCAS; MIRANDA, BRENO; LIMA, IGOR; D'AMORIM, Marcelo
SOFTWARE TESTING, VERIFICATION AND RELIABILITY
2022

A Systematic Mapping Study on Robotic Testing of Mobile Devices

MACIEL, LUCAS; OLIVEIRA, ALICE; RODRIGUES, RIEI; SANTIAGO, WILLIAMS; SILVA, ANDRESA; CARVALHO, GUSTAVO; MIRANDA, BRENO
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
2022

Guest editors' introduction to the special issue -Automatic Software Testing from the Trenches-

MIRANDA, BRENO; TUYA, JAVIER; GARRIDO, ALEJANDRA
J SOFTW-EVOL PROC
2022

Comparing and combining file-based selection and similarity-based prioritization towards regression test orchestration

GRECA, RENAN; MIRANDA, BRENO; GLIGORIC, MILOS; BERTOLINO, ANTONIA
[AST] AST '22: IEEE/ACM 3rd International Conference on Automation of Software Test
2021

Shaker: a Tool for Detecting More Flaky Tests Faster

CORDEIRO, MARCELLO; SILVA, DENINI; TEIXEIRA, Leopoldo; MIRANDA, BRENO; D'AMORIM, Marcelo
[ASE] 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2021

Exposing bugs in JavaScript engines through test transplantation and differential testing

LIMA, IGOR; SILVA, JEFFERSON; MIRANDA, BRENO; PINTO, Gustavo; D?AMORIM, MARCELO
SOFTWARE QUALITY JOURNAL
2021

Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile

BERTOLINO, ANTONIA; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2021

Know You Neighbor: Fast Static Prediction of Test Flakiness

VERDECCHIA, ROBERTO; CRUCIANI, EMILIO; MIRANDA, BRENO; BERTOLINO, ANTONIA
IEEE Access
2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

TEIXEIRA, Leopoldo; MIRANDA, BRENO; REBELO, HENRIQUE; D'AMORIM, Marcelo
[ICST] 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
2020

Testing Relative to Usage Scope

MIRANDA, BRENO; BERTOLINO, ANTONIA
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
2020

Run Java Applications and Test Them In-Vivo Meantime

BERTOLINO, ANTONIA; DE ANGELIS, GUGLIELMO; MIRANDA, BRENO; TONELLA, PAOLO
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

What is the Vocabulary of Flaky Tests?

PINTO, Gustavo; MIRANDA, BRENO; DISSANAYAKE, Supun; D'AMORIM, Marcelo; TREUDE, Christoph; BERTOLINO, ANTONIA
[MSR] MSR '20: 17th International Conference on Mining Software Repositories
2020

JTeC

CORÒ, FEDERICO; VERDECCHIA, ROBERTO; CRUCIANI, EMILIO; MIRANDA', BRENO; BERTOLINO, ANTONIA
[MSR] MSR '20: 17th International Conference on Mining Software Repositories
2020

Prioritizing Runtime Verification Violations

MIRANDA, BRENO; LIMA, IGOR; LEGUNSEN, OWOLABI; D'AMORIM, Marcelo
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

Learning-to-rank vs ranking-to-learn

BERTOLINO, ANTONIA; GUERRIERO, ANTONIO; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
[ICSE] ICSE '20: 42nd International Conference on Software Engineering
2019

Towards Continuous Software Reliability Testing in DevOps

PIETRANTUONO, ROBERTO; BERTOLINO, ANTONIA; DE ANGELIS, GUGLIELMO; MIRANDA, BRENO; RUSSO, STEFANO
2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST)
2019

Scalable Approaches for Test Suite Reduction

CRUCIANI, EMILIO; MIRANDA, BRENO; VERDECCHIA, ROBERTO; BERTOLINO, ANTONIA
[ICSE] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)
2018

A categorization scheme for software engineering conference papers and its application

BERTOLINO, ANTONIA; CALABRÒ, ANTONELLO; LONETTI, FRANCESCA; MARCHETTI, EDA; MIRANDA, BRENO
JOURNAL OF SYSTEMS AND SOFTWARE
2018

A Proposal to Orchestrate Test Cases

GARCIA, BONI; LONETTI, FRANCESCA; GALLEGO, MICAEL; MIRANDA, BRENO; JIMENEZ, EDUARDO; DE ANGELIS, GUGLIELMO; SANTOS, CARLOS; MARCHETTI, EDA
[QUATIC] 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC)
2018

An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing

MIRANDA, BRENO; BERTOLINO, ANTONIA
SOFTWARE QUALITY JOURNAL
2018

FAST approaches to scalable similarity-based test case prioritization

MIRANDA, BRENO; CRUCIANI, EMILIO; VERDECCHIA, ROBERTO; BERTOLINO, ANTONIA
[ICSE] the 40th International Conference
2017

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds

Hillah, Lom Messan; MARCHETTI, EDA; MIRANDA, BRENO; Vincenzi, Auri; Iyoda, Juliano; Assad, Rodrigo; BERTOLINO, ANTONIA; Delamaro, Marcio; De Rosa, Fabio; Garcia, Vinicius; LONETTI, FRANCESCA; Maesano, Ariele-Paolo; Maesano, Libero
[SEFM] 15th International Conference on Software Engineering and Formal Methods (SEFM)
2017

What paper types are accepted at the international conference on software engineering?

BERTOLINO, ANTONIA; CALABRO, ANTONELLO; LONETTI, FRANCESCA; MARCHETTI, EDA; MIRANDA, BRENO
[ICSE] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
2017

Scope-aided test prioritization, selection and minimization for software reuse

MIRANDA, BRENO; BERTOLINO, ANTONIA
JOURNAL OF SYSTEMS AND SOFTWARE
2017

Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement

BERTOLINO, ANTONIA; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
[ICSE] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
2016

Does code coverage provide a good stopping rule for operational profile based testing?

MIRANDA, BRENO; BERTOLINO, ANTONIA
the 11th International Workshop
2015

Improving Test Coverage Measurement for Reused Software

MIRANDA, BRENO; BERTOLINO, ANTONIA
2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
2014

Social coverage for customized test adequacy and selection criteria

MIRANDA, BRENO; BERTOLINO, ANTONIA
the 9th International Workshop
2014

A proposal for revisiting coverage testing metrics

MIRANDA, BRENO
[ASE] the 29th ACM/IEEE international conference
2012

Recommender Systems for Manual Testing: Deciding how to assign tests in a test team

MIRANDA, B. A. F.; ARANHA, E. H. S.; IYODA, J. M.
[ESEM] the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement
2010

Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador

MIRANDA, BRENO; IYODA, J. M.; MEIRA, S. R. L.
Brazilian Workshop on Systematic and Automated Software Testing
2009

Test Case Selector: Uma Ferramenta para Seleção de Testes.

MAFRA, J. N. D.; MIRANDA, BRENO; IYODA, J. M.; SAMPAIO, A. C. A.
Brazilian Workshop on Systematic and Automated Software Testing
2008

Uma Nova Abordagem para Simular a Expansão da Esquistossomose entre Humanos: Uso Integrado entre dois Autômatos Celulares Probabilísticos

MELO, C. G.; MIRANDA, BRENO; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Uma Aplicação do Modelo SIR para a Esquistossomose utilizando Autômatos Celulares através do Software Mathematica®

ALBUQUERQUE, C. H.; MELO, C. G.; MIRANDA, BRENO; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Modelos em Redes: Um Estudo de Caso para Problemas de Saúde Pública

MELO, C. G.; MIRANDA, BRENO; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Uso de Técnicas de Otimização para Interpretação das Decisões de Capacidade Produtiva e Lucro das Empresas

ALBUQUERQUE, C. H.; MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Uma Ferramenta Baseada em Autômatos Celulares para Comparar Diferentes Processos de Coleta de Moluscos

MIRANDA, BRENO; ALBUQUERQUE, C. H.; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Utilização de Autômatos Celulares no Tratamento de Imagens de Mapas para Simular a Expansão dos Moluscos Transmissores da Esquistossomose no Litoral de Pernambuco

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.; SOUZA, M. A. A.; BARBOSA, C. S.
[CNMAC] XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional
2008

Análise Comparativa entre Métodos de Coleta de Moluscos Usando Autômatos Celulares

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.; SOUZA, M. A. A.; BARBOSA, C. S.; SOUZA, H. P.; SANTOS, R. S.
11º International Symposium on Schistosomiasis
2008

Utilização de Autômatos Celulares para a Plotagem de Imagens de Mapas: um Processo para Simular a Expansão dos Moluscos Transmissores da Esquistossomose no Litoral de Pernambuco

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Autômatos Celulares aplicados à Epidemiologia da Esquistossomose em Pernambuco Uma Análise Comparativa de Processos de Coleta de Moluscos

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.; SOUZA, H. P.; SANTOS, R. S.; SOUZA, M. A. A.; BARBOSA, C. S.
[CNMAC] XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional
2008

Autômatos Probabilísticos para Simulação do Processo de Expansão da Esquistossomose entre Humanos

MELO, C. G.; MIRANDA, BRENO; BOCANEGRA, S.; ALBUQUERQUE, J. O.; SOUZA, M. A. A.; BARBOSA, C. S.; SOUZA, H. P.; SANTOS, R. S.
11º International Symposium on Schistosomiasis
2008

Simulação da Expansão da Esquistossomose no Litoral de Pernambuco Utilizando dois Autômatos Celulares Probabilísticos

MELO, C. G.; MIRANDA, BRENO; BOCANEGRA, S.; ALBUQUERQUE, J. O.; SOUZA, M. A. A.; BARBOSA, C. S.
[CNMAC] XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional
2007

Uso de Autômatos Celulares para a Simulação da Expansão de Infectados pela Esquistossomose no Estado de Pernambuco.

MIRANDA, BRENO; AZEVEDO, A. A.; ALBUQUERQUE, J. O.; ALMEIDA, Vitor. A. K.
[CNMAC] Congresso Nacional de Matemática Aplicada e Computacional
2006

Fundamentos Teóricos da Computação como Agente do Processo de Ensino Aprendizagem - Sistemas Distribuídos e a Programação Paralela

ALBUQUERQUE, C. H.; MIRANDA, BRENO; ALBUQUERQUE, J. O.
VI Jornada de Ensino, Pesquisa e Extensão
2005

Hipercomputação: Computação Super-Turing e o uso de simuladores como uma abordagem prática da computação clássica

MIRANDA, BRENO; ALBUQUERQUE, C. H.; DE OLIVEIRA, Wilson Rosa; ALBUQUERQUE, J. O.
V Jornada de Ensino, Pesquisa e Extensão
2005

Atividade de monitoria docente à disciplina Matemática Discreta

MIRANDA, BRENO; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.
V Jornada de Ensino, Pesquisa e Extensão

Publicações

2026

Toward a non-invasive robotic-supported approach for data loss detection in android applications

FREITAS, DAVI; MIRANDA, BRENO; Iyoda, Juliano
INFORMATION AND SOFTWARE TECHNOLOGY
2025

Mobile Robotics for Throughput Testing in a Reconfigurable Test Environment

ARAÚJO, EDUARDO; MIRANDA, BRENO
[SBES] Simpósio Brasileiro de Engenharia de Software
2025

A Tool-Assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency

COUTO, MARIA; MIRANDA, BRENO; GAMA, KIEV
[ICST] 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)
2025

Simulating Non-Functional Communication Requirements in Automotive Software

PESTANA, LARISSA; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2025

Deploying a Low-Cost Vision-Guided Cartesian Robot for Physical Interaction in Mobile Testing: An Industrial Case Study

LOPES, MATHEUS; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2025

Energy-Aware Software Testing

VERDECCHIA, ROBERTO; CRUCIANI, EMILIO; BERTOLINO, ANTONIA; MIRANDA, BRENO
2025 IEEE/ACM 47th International Conference on Software Engineering: New Ideas and Emerging Results (ICSENIER)
2025

Leveraging N-Version Testing to Define Approximate Oracles for Performance Testing

MARCELINO, CRÍSSIA; MIRANDA, BRENO
[SBES] Simpósio Brasileiro de Engenharia de Software
2025

Microservices testing: A systematic literature review

PONCE, FRANCISCO; VERDECCHIA, ROBERTO; MIRANDA, BRENO; SOLDANI, JACOPO
INFORMATION AND SOFTWARE TECHNOLOGY
2025

Teste de Resiliência do Celery: Uma Abordagem Experimental com Injeção de Falhas

LIMA, PEDRO; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2024

RFNIT: Robotic Framework for Non-invasive Testing

FREITAS, DAVI; MIRANDA, BRENO; Iyoda, Juliano
[FSE] FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering
2024

A Rapid Review on Advanced Software-in-the-Loop Methods for Automotive Software Verification

PESTANA, LARISSA; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2024

Robotic-supported Data Loss Detection in Android Applications

FREITAS, DAVI; MIRANDA, BRENO; Iyoda, Juliano
[SBES] Simpósio Brasileiro de Engenharia de Software
2024

Reducing Rework in Automotive Software through Simulation-Guided Verification

PESTANA, LARISSA; MIRANDA, BRENO
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2024

TString: a tool to locate the target string?s screen based on automatic exploration

FELIPE, LAIS; MIRANDA, BRENO; COUTO, MARIA
[SAST] Simpósio Brasileiro de Testes de Software Sistemático e Automatizado
2023

In vivo test and rollback of Java applications as they are

BERTOLINO, ANTONIA; DE ANGELIS, GUGLIELMO; MIRANDA, BRENO; TONELLA, PAOLO
SOFTWARE TESTING VERIFICATION & RELIABILITY
2023

State of Practical Applicability of Regression Testing Research: A Live Systematic Literature Review

GRECA, RENAN; MIRANDA, BRENO; BERTOLINO, ANTONIA
ACM COMPUTING SURVEYS
2023

An Industrial Experience Report on the Challenges in Training Localization and Internationalization Testers

COUTO, M. R. L.; MIRANDA, BRENO
[SAST] Brazilian Symposium on Systematic and Automated Software Testing (SAST 2023)
2023

A Comparative Analysis of Mobile UI Testing Frameworks in Continuous Integration Environments

COSTA, G.; MIRANDA, BRENO
[SAST] Brazilian Symposium on Systematic and Automated Software Testing (SAST 2023)
2023

l10n-trainer: a Tool to Assist in the Training of Localization (l10n) and Internationalization (i18n) Testers

COUTO, MARIA RAQUEL LOPES DE; MIRANDA, BRENO
XXXVII Brazilian Symposium on Software Engineering
2023

An Industrial Experience Report on the Adoption of History-based Test Case Prioritization

SIQUEIRA, VINICIUS; MIRANDA, BRENO
[SAST] Brazilian Symposium on Systematic and Automated Software Testing (SAST 2023)
2023

Supporting Localization Testing through Automated Application Navigation

FELIPE, LAIS PEREIRA; MIRANDA, BRENO
[SBQS] Anais Estendidos do Simpósio Brasileiro de Qualidade de Software
2023

Test Flakiness Across Programming Languages

BARBOSA, KEILA; FERREIRA, RONIVALDO; PINTO, Gustavo; DAMORIM, MARCELO; MIRANDA, BRENO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2023

Do you see any problem? On the Developers Perceptions in Test Smells Detection

LIMA, RODRIGO; COSTA, KEILA; SOUZA, JAIRO; TEIXEIRA, Leopoldo; FONSECA, BALDOINO; D'AMORIM, Marcelo; RIBEIRO, MÁRCIO; MIRANDA, BRENO
[SBQS] SBQS '23: XXII Brazilian Symposium on Software Quality
2023

Orchestration Strategies for Regression Test Suites

GRECA, RENAN; MIRANDA, BRENO; BERTOLINO, ANTONIA
[AST] 2023 IEEE/ACM International Conference on Automation of Software Test (AST)
2023

Use of robotic arms for automation of android-based mobile app testing through a truly black box perspective

PINHEIRO, ANTONIO ADRIELSON RODRIGUES; MIRANDA, BRENO
[SBQS] Anais Estendidos do Simpósio Brasileiro de Qualidade de Software
2023

DevOpRET: Continuous reliability testing in DevOps

BERTOLINO, ANTONIA; ANGELIS, GUGLIELMO DE; GUERRIERO, ANTONIO; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
Journal of Software-Evolution and Process
2022

Investigating the Adoption of History-based Prioritization in the Context of Manual Testing in a Real Industrial Setting

SIQUEIRA, VINICIUS; MIRANDA, BRENO
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
2022

Towards Improving Automation Support for Internationalization and Localization Testing

COUTO, MARIA RAQUEL LOPES DE; MIRANDA, BRENO
[SBQS] Anais Estendidos do Simpósio Brasileiro de Qualidade de Software
2022

Testing non-testable programs using association rules

BERTOLINO, ANTONIA; CRUCIANI, EMILIO; MIRANDA, BRENO; VERDECCHIA, ROBERTO
[AST] AST '22: IEEE/ACM 3rd International Conference on Automation of Software Test
2022

RVprio: A tool for prioritizing runtime verification violations

CABRAL, LUCAS; MIRANDA, BRENO; LIMA, IGOR; D'AMORIM, Marcelo
SOFTWARE TESTING, VERIFICATION AND RELIABILITY
2022

A Systematic Mapping Study on Robotic Testing of Mobile Devices

MACIEL, LUCAS; OLIVEIRA, ALICE; RODRIGUES, RIEI; SANTIAGO, WILLIAMS; SILVA, ANDRESA; CARVALHO, GUSTAVO; MIRANDA, BRENO
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
2022

Guest editors' introduction to the special issue -Automatic Software Testing from the Trenches-

MIRANDA, BRENO; TUYA, JAVIER; GARRIDO, ALEJANDRA
J SOFTW-EVOL PROC
2022

Comparing and combining file-based selection and similarity-based prioritization towards regression test orchestration

GRECA, RENAN; MIRANDA, BRENO; GLIGORIC, MILOS; BERTOLINO, ANTONIA
[AST] AST '22: IEEE/ACM 3rd International Conference on Automation of Software Test
2021

Shaker: a Tool for Detecting More Flaky Tests Faster

CORDEIRO, MARCELLO; SILVA, DENINI; TEIXEIRA, Leopoldo; MIRANDA, BRENO; D'AMORIM, Marcelo
[ASE] 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2021

Exposing bugs in JavaScript engines through test transplantation and differential testing

LIMA, IGOR; SILVA, JEFFERSON; MIRANDA, BRENO; PINTO, Gustavo; D?AMORIM, MARCELO
SOFTWARE QUALITY JOURNAL
2021

Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile

BERTOLINO, ANTONIA; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
2021

Know You Neighbor: Fast Static Prediction of Test Flakiness

VERDECCHIA, ROBERTO; CRUCIANI, EMILIO; MIRANDA, BRENO; BERTOLINO, ANTONIA
IEEE Access
2021

Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

TEIXEIRA, Leopoldo; MIRANDA, BRENO; REBELO, HENRIQUE; D'AMORIM, Marcelo
[ICST] 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
2020

Testing Relative to Usage Scope

MIRANDA, BRENO; BERTOLINO, ANTONIA
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
2020

Run Java Applications and Test Them In-Vivo Meantime

BERTOLINO, ANTONIA; DE ANGELIS, GUGLIELMO; MIRANDA, BRENO; TONELLA, PAOLO
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

What is the Vocabulary of Flaky Tests?

PINTO, Gustavo; MIRANDA, BRENO; DISSANAYAKE, Supun; D'AMORIM, Marcelo; TREUDE, Christoph; BERTOLINO, ANTONIA
[MSR] MSR '20: 17th International Conference on Mining Software Repositories
2020

JTeC

CORÒ, FEDERICO; VERDECCHIA, ROBERTO; CRUCIANI, EMILIO; MIRANDA', BRENO; BERTOLINO, ANTONIA
[MSR] MSR '20: 17th International Conference on Mining Software Repositories
2020

Prioritizing Runtime Verification Violations

MIRANDA, BRENO; LIMA, IGOR; LEGUNSEN, OWOLABI; D'AMORIM, Marcelo
[ICST] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
2020

Learning-to-rank vs ranking-to-learn

BERTOLINO, ANTONIA; GUERRIERO, ANTONIO; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
[ICSE] ICSE '20: 42nd International Conference on Software Engineering
2019

Towards Continuous Software Reliability Testing in DevOps

PIETRANTUONO, ROBERTO; BERTOLINO, ANTONIA; DE ANGELIS, GUGLIELMO; MIRANDA, BRENO; RUSSO, STEFANO
2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST)
2019

Scalable Approaches for Test Suite Reduction

CRUCIANI, EMILIO; MIRANDA, BRENO; VERDECCHIA, ROBERTO; BERTOLINO, ANTONIA
[ICSE] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)
2018

A categorization scheme for software engineering conference papers and its application

BERTOLINO, ANTONIA; CALABRÒ, ANTONELLO; LONETTI, FRANCESCA; MARCHETTI, EDA; MIRANDA, BRENO
JOURNAL OF SYSTEMS AND SOFTWARE
2018

A Proposal to Orchestrate Test Cases

GARCIA, BONI; LONETTI, FRANCESCA; GALLEGO, MICAEL; MIRANDA, BRENO; JIMENEZ, EDUARDO; DE ANGELIS, GUGLIELMO; SANTOS, CARLOS; MARCHETTI, EDA
[QUATIC] 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC)
2018

An assessment of operational coverage as both an adequacy and a selection criterion for operational profile based testing

MIRANDA, BRENO; BERTOLINO, ANTONIA
SOFTWARE QUALITY JOURNAL
2018

FAST approaches to scalable similarity-based test case prioritization

MIRANDA, BRENO; CRUCIANI, EMILIO; VERDECCHIA, ROBERTO; BERTOLINO, ANTONIA
[ICSE] the 40th International Conference
2017

Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds

Hillah, Lom Messan; MARCHETTI, EDA; MIRANDA, BRENO; Vincenzi, Auri; Iyoda, Juliano; Assad, Rodrigo; BERTOLINO, ANTONIA; Delamaro, Marcio; De Rosa, Fabio; Garcia, Vinicius; LONETTI, FRANCESCA; Maesano, Ariele-Paolo; Maesano, Libero
[SEFM] 15th International Conference on Software Engineering and Formal Methods (SEFM)
2017

What paper types are accepted at the international conference on software engineering?

BERTOLINO, ANTONIA; CALABRO, ANTONELLO; LONETTI, FRANCESCA; MARCHETTI, EDA; MIRANDA, BRENO
[ICSE] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
2017

Scope-aided test prioritization, selection and minimization for software reuse

MIRANDA, BRENO; BERTOLINO, ANTONIA
JOURNAL OF SYSTEMS AND SOFTWARE
2017

Adaptive Coverage and Operational Profile-Based Testing for Reliability Improvement

BERTOLINO, ANTONIA; MIRANDA, BRENO; PIETRANTUONO, ROBERTO; RUSSO, STEFANO
[ICSE] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)
2016

Does code coverage provide a good stopping rule for operational profile based testing?

MIRANDA, BRENO; BERTOLINO, ANTONIA
the 11th International Workshop
2015

Improving Test Coverage Measurement for Reused Software

MIRANDA, BRENO; BERTOLINO, ANTONIA
2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
2014

Social coverage for customized test adequacy and selection criteria

MIRANDA, BRENO; BERTOLINO, ANTONIA
the 9th International Workshop
2014

A proposal for revisiting coverage testing metrics

MIRANDA, BRENO
[ASE] the 29th ACM/IEEE international conference
2012

Recommender Systems for Manual Testing: Deciding how to assign tests in a test team

MIRANDA, B. A. F.; ARANHA, E. H. S.; IYODA, J. M.
[ESEM] the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement
2010

Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador

MIRANDA, BRENO; IYODA, J. M.; MEIRA, S. R. L.
Brazilian Workshop on Systematic and Automated Software Testing
2009

Test Case Selector: Uma Ferramenta para Seleção de Testes.

MAFRA, J. N. D.; MIRANDA, BRENO; IYODA, J. M.; SAMPAIO, A. C. A.
Brazilian Workshop on Systematic and Automated Software Testing
2008

Uma Nova Abordagem para Simular a Expansão da Esquistossomose entre Humanos: Uso Integrado entre dois Autômatos Celulares Probabilísticos

MELO, C. G.; MIRANDA, BRENO; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Uma Aplicação do Modelo SIR para a Esquistossomose utilizando Autômatos Celulares através do Software Mathematica®

ALBUQUERQUE, C. H.; MELO, C. G.; MIRANDA, BRENO; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Modelos em Redes: Um Estudo de Caso para Problemas de Saúde Pública

MELO, C. G.; MIRANDA, BRENO; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Uso de Técnicas de Otimização para Interpretação das Decisões de Capacidade Produtiva e Lucro das Empresas

ALBUQUERQUE, C. H.; MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Uma Ferramenta Baseada em Autômatos Celulares para Comparar Diferentes Processos de Coleta de Moluscos

MIRANDA, BRENO; ALBUQUERQUE, C. H.; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Utilização de Autômatos Celulares no Tratamento de Imagens de Mapas para Simular a Expansão dos Moluscos Transmissores da Esquistossomose no Litoral de Pernambuco

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.; SOUZA, M. A. A.; BARBOSA, C. S.
[CNMAC] XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional
2008

Análise Comparativa entre Métodos de Coleta de Moluscos Usando Autômatos Celulares

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.; SOUZA, M. A. A.; BARBOSA, C. S.; SOUZA, H. P.; SANTOS, R. S.
11º International Symposium on Schistosomiasis
2008

Utilização de Autômatos Celulares para a Plotagem de Imagens de Mapas: um Processo para Simular a Expansão dos Moluscos Transmissores da Esquistossomose no Litoral de Pernambuco

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.; BOCANEGRA, S.
VIII Jornada de Ensino, Pesquisa e Extensão
2008

Autômatos Celulares aplicados à Epidemiologia da Esquistossomose em Pernambuco Uma Análise Comparativa de Processos de Coleta de Moluscos

MIRANDA, BRENO; MELO, C. G.; ALBUQUERQUE, J. O.; BOCANEGRA, S.; SOUZA, H. P.; SANTOS, R. S.; SOUZA, M. A. A.; BARBOSA, C. S.
[CNMAC] XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional
2008

Autômatos Probabilísticos para Simulação do Processo de Expansão da Esquistossomose entre Humanos

MELO, C. G.; MIRANDA, BRENO; BOCANEGRA, S.; ALBUQUERQUE, J. O.; SOUZA, M. A. A.; BARBOSA, C. S.; SOUZA, H. P.; SANTOS, R. S.
11º International Symposium on Schistosomiasis
2008

Simulação da Expansão da Esquistossomose no Litoral de Pernambuco Utilizando dois Autômatos Celulares Probabilísticos

MELO, C. G.; MIRANDA, BRENO; BOCANEGRA, S.; ALBUQUERQUE, J. O.; SOUZA, M. A. A.; BARBOSA, C. S.
[CNMAC] XXXI CNMAC - Congresso Nacional de Matemática Aplicada e Computacional
2007

Uso de Autômatos Celulares para a Simulação da Expansão de Infectados pela Esquistossomose no Estado de Pernambuco.

MIRANDA, BRENO; AZEVEDO, A. A.; ALBUQUERQUE, J. O.; ALMEIDA, Vitor. A. K.
[CNMAC] Congresso Nacional de Matemática Aplicada e Computacional
2006

Fundamentos Teóricos da Computação como Agente do Processo de Ensino Aprendizagem - Sistemas Distribuídos e a Programação Paralela

ALBUQUERQUE, C. H.; MIRANDA, BRENO; ALBUQUERQUE, J. O.
VI Jornada de Ensino, Pesquisa e Extensão
2005

Hipercomputação: Computação Super-Turing e o uso de simuladores como uma abordagem prática da computação clássica

MIRANDA, BRENO; ALBUQUERQUE, C. H.; DE OLIVEIRA, Wilson Rosa; ALBUQUERQUE, J. O.
V Jornada de Ensino, Pesquisa e Extensão
2005

Atividade de monitoria docente à disciplina Matemática Discreta

MIRANDA, BRENO; ALBUQUERQUE, C. H.; ALBUQUERQUE, J. O.
V Jornada de Ensino, Pesquisa e Extensão
bafm

Breno Alexandro Ferreira de Miranda

Professor Adjunto I

Coordenador de Pesquisa

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Breno Alexandro Ferreira de Miranda
Link para o perfil do lattes de Breno Alexandro Ferreira de Miranda
Link para o perfil do LinkedIn de Breno Alexandro Ferreira de Miranda
Link para o perfil do DBLP de Breno Alexandro Ferreira de Miranda
Link para o perfil do ORCID de Breno Alexandro Ferreira de Miranda
Link para o perfil do Scholar de Breno Alexandro Ferreira de Miranda
Link para o perfil do sigaa de Breno Alexandro Ferreira de Miranda
E-mail
bafm@cin.ufpe.br
Telefone
+55 81 2126-8430R:4301
Sala
C119
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações
bafm

Breno Alexandro Ferreira de Miranda

Professor Adjunto I

Coordenador de Pesquisa

Processamento e Sintese de midias digitais
Design Thinking
Link para o site pessoal de Breno Alexandro Ferreira de Miranda
Link para o perfil do lattes de Breno Alexandro Ferreira de Miranda
Link para o perfil do LinkedIn de Breno Alexandro Ferreira de Miranda
Link para o perfil do DBLP de Breno Alexandro Ferreira de Miranda
Link para o perfil do ORCID de Breno Alexandro Ferreira de Miranda
Link para o perfil do Scholar de Breno Alexandro Ferreira de Miranda
Link para o perfil do sigaa de Breno Alexandro Ferreira de Miranda
E-mail
bafm@cin.ufpe.br
Telefone
+55 81 2126-8430R:4301
Sala
C119
•Publicações
Publicações
•Projetos
Projetos
•Orientações Acadêmicas
Orientações