Automatic Generation of Platform Independent Built-in Contract Testers. - Helton S. Lima; Franklin Ramalho; Patrícia D. L. Machado; Everton L. Galdino (SBCARS, 2007)

Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. - Wilkerson de L. Andrade; Patrícia D. L. Machado; Everton L. G. Alves; Diego R. Almeida (SBMF, 2009)

Guidelines for Platform Independent Modeling for Real Time Systems Using UML. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (SBCARS, 2011)

Testing Architectures for Real Time Systems. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (SBCARS, 2011)

A refactoring-based approach for test case selection and prioritization. - Everton L. G. Alves; Patrícia D. L. Machado; Tiago Massoni; Samuel T. C. Santos (AST, 2013)

RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits. - Everton L. G. Alves; Myoungkyu Song; Miryung Kim (SIGSOFT FSE, 2014)

Automatic generation of built-in contract test drivers. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (Softw. Syst. Model., 2014)

Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring. - Everton L. G. Alves; Tiago Massoni; Patrícia Duarte de Lima Machado (SAC, 2015)

Early detection of manual refactoring faults. - Everton L. G. Alves (2015)

Prioritizing test cases for early detection of refactoring faults. - Everton L. G. Alves; Patrícia D. L. Machado; Tiago Massoni; Miryung Kim (Softw. Test. Verification Reliab., 2016)

Analyzing Automatic Test Generation Tools for Refactoring Validation. - Indy P. S. C. Silva; Everton L. G. Alves; Wilkerson de L. Andrade (AST@ICSE, 2017)

A Hint-Based Technique for System Level Model-Based Test Case Prioritization. - João Felipe Silva Ouriques; Emanuela Gadelha Cartaxo; Everton Leandro Galdino Alves; Patrícia Duarte de Lima Machado (CoRR, 2017)

Test coverage of impacted code elements for detecting refactoring faults: An exploratory study. - Everton L. G. Alves; Tiago Massoni; Patrícia Duarte de Lima Machado (J. Syst. Softw., 2017)

Integrating Requirements Specification and Model-Based Testing in Agile Development. - Dalton N. Jorge; Patrícia D. L. Machado; Everton L. G. Alves; Wilkerson de L. Andrade (RE, 2018)

A Study on the Impact of Model Evolution in MBT Suites. - Anderson G. F. Silva; Wilkerson de L. Andrade; Everton L. G. Alves (SAST, 2018)

Can automated test case generation cope with extract method validation? - Indy P. S. C. Silva; Everton L. G. Alves; Patrícia D. L. Machado (SBES, 2018)

Refactoring Inspection Support for Manual Refactoring Edits. - Everton L. G. Alves; Myoungkyu Song; Tiago Massoni; Patrícia Duarte de Lima Machado; Miryung Kim (IEEE Trans. Software Eng., 2018)

An Empirical Study on the Spreading of Fault Revealing Test Cases in Prioritized Suites. - Wesley N. M. Torres; Everton L. G. Alves; Patrícia D. L. Machado (COMPSAC (1), 2019)

Refactoring-aware code review: a systematic mapping study. - Flávia Coelho; Tiago Massoni; Everton L. G. Alves (IWOR@ICSE, 2019)

Reducing the Discard of MBT Test Cases using Distance Functions. - Thomaz Diniz; Everton L. G. Alves; Anderson G. F. Silva; Wilkerson de L. Andrade (SBES, 2019)

An exploratory study on extract method floss-refactoring. - Jaziel S. Moreira; Everton L. G. Alves; Wilkerson de L. Andrade (SAC, 2020)

Manually Written or Generated Tests?: A Study with Developers and Maintenance Tasks. - Wesley B. R. Herculano; Melina Mongiovi; Everton L. G. Alves (SBES, 2020)

A Systematic Mapping on Energy Efficiency Testing in Android Applications. - Jaziel S. Moreira; Everton L. G. Alves; Wilkerson de L. Andrade (SBQS, 2020)

Reducing the Discard of MBT Test Cases. - Thomaz Diniz; Everton L. G. Alves; Anderson G. F. Silva; Wilkerson de L. Andrade (J. Softw. Eng. Res. Dev., 2020)

An Empirical Study on Refactoring-Inducing Pull Requests. - Flávia Coelho; Nikolaos Tsantalis; Tiago Massoni; Everton L. G. Alves (ESEM, 2021)

Evaluating the Effectiveness of Regression Test Suites for Extract Method Validation. - Levi Gomes; Cassio Cordeiro; Everton L. G. Alves (SAST, 2022)

A Configurable Test Case Prioritization Technique for Early Fault Detection and Low Test Case Spreading. - Wesley N. M. Torres; Everton L. G. Alves; Patrícia D. L. Machado (SBES, 2022)

Generated Tests in the Context of Maintenance Tasks: A Series of Empirical Studies. - Wesley B. R. Herculano; Everton L. G. Alves; Melina Mongiovi (IEEE Access, 2022)

Assessing and Improving the Quality of Generated Tests in the Context of Maintenance Tasks. - Wesley B. R. Herculano; Everton L. G. Alves; Melina Mongiovi (COMPSAC, 2023)

Reducing MBT test cases discard with distance function at TJPB. - Carlos D. Q. Lima; Everton L. G. Alves; Wilkerson de L. Andrade (SAST, 2023)

Cytestion: Automated GUI Testing for Web Applications. - Thiago Santos de Moura; Everton L. G. Alves; Hugo Feitosa de Figueirêdo; Cláudio de Souza Baptista (SBES, 2023)

A Case Study to Evaluate the Introduction of Code Review in a Industrial Project. - Arthur Silva Lima Guedes; Everton L. G. Alves (SBQS, 2023)

A Systematic Literature Review on MBT Test Cases Maintenance. - Carlos D. Q. Lima; Everton L. G. Alves; Wilkerson de L. Andrade (COMPSAC, 2024)

An Automatic Approach for Uniquely Discovering Actionable Elements for Systematic GUI Testing in Web Applications. - Thiago Santos de Moura; Francisco Igor de Lima Mendes; Everton L. G. Alves; Ismael Raimundo da Silva Neto; Cláudio de Souza Baptista (QRS, 2024)

Front Matter. - Everton L. G. Alves; Márcio Ribeiro 001; Johnny Marques (SAST, 2024)

How does Technical Debt Evolve within Pull Requests? An Empirical Study with Apache Projects. - Felipe Emerson de Oliveira Calixto; Eliane C. Araújo; Everton L. G. Alves (SBES, 2024)

Addressing the Synchronization Challenge in Cypress End-to-End Tests. - Thiago Santos de Moura; Everton L. G. Alves; Regina Letícia Santos Felipe; Cláudio de Souza Baptista; Ismael Raimundo da Silva Neto; Hugo Feitosa de Figueirêdo (SBES, 2024)

Iterative Deepening URL-Based Search: Enhancing GUI Testing for Web Applications. - Thiago Santos de Moura; Regina Letícia Santos Felipe; Everton L. G. Alves; Pedro Henrique S. C. Gregório; Cláudio de Souza Baptista; Hugo Feitosa de Figueirêdo (SBES, 2024)

Zimic: Bridging the Gaps in API Mocking for Typescript Projects. - Diego Cruz de Aquino; Everton L. G. Alves (COMPSAC, 2025)

Exploring the Use of LLMs to Reduce the Discarding of MBT Test Cases. - Carlos D. Q. Lima; Everton L. G. Alves; Wilkerson de L. Andrade; Felipe Torres (COMPSAC, 2025)

The Hidden Challenges of Merging: A Tool-Based Exploration. - Luciana de Q. Leal Gomes; Melina Mongiovi; Sabrina Souto; Everton L. G. Alves (SANER, 2025)

A qualitative study on refactorings induced by code review. - Flávia Coelho; Nikolaos Tsantalis; Tiago Massoni; Everton L. G. Alves (Empir. Softw. Eng., 2025)