WE-QT tool: uma ferramenta de apoio a inspeção de usabilidade de aplicações web. - Priscila Silva Fernandes; Lennon Chaves; Bruno A. Bonifácio; Tayana Conte (IHC+CLIHC (Companion), 2011)

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration). - Lennon C. Chaves; Iury Bessa; Lucas C. Cordeiro (CoRR, 2016)

Verifying digital systems with MATLAB. - Lennon C. Chaves; Iury Bessa; Lucas C. Cordeiro; Daniel Kroening; Eddie Batista de Lima Filho (ISSTA, 2017)

DSSynth: an automated digital controller synthesis tool for physical plants. - Alessandro Abate; Iury Bessa; Dario Cattaruzza; Lennon C. Chaves; Lucas C. Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (ASE, 2017)

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. - Lennon C. Chaves; Iury Bessa; Lucas C. Cordeiro; Daniel Kroening (HSCC, 2018)

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. - Lennon C. Chaves; Iury Bessa; Hussama Ismail; Adriano Bruno dos Santos Frutuoso; Lucas C. Cordeiro; Eddie Batista de Lima Filho (IEEE Trans. Reliab., 2018)

Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. - Lennon C. Chaves; Hussama Ibrahim Ismail; Iury Valente de Bessa; Lucas C. Cordeiro; Eddie Batista de Lima Filho (J. Syst. Softw., 2019)

Improvements of the Software Quality Assurance Process Towards Issues' Effectiveness in a Global Software Development Environment. - Lennon Chaves; Renata Gabriella Vieira Castro; Flavia Camila Morais Oliveira; Leonardo Tiago 001 (ICCTA, 2023)

Assertive Wiki: An Experience Report In The Industry on the Redesign of Software Requirements Documentation. - Rhuan Viana; Rebecca Souza; Wilson Silva; Flavia Camila Morais Oliveira; Leonardo Tiago 001; Lennon Chaves (ICSIE, 2023)

Enhancing Issue Management through the Employment of Inspection Technique: An Experience Report in The Industry. - Renata Gabriella Vieira Castro; Flavia Camila Morais Oliveira; Janderson Rodrigues; Leonardo Tiago 001; César Sousa; Lennon Chaves (SBQS, 2023)

LinkDoc: An Automated Process in the Delivery of Documentation in a Global Software Development Environment. - André José de Franca; Gaspar Henrique Alves Mota; Klirssia Isaac Sahdo; Leonardo Tiago 001; Flavia Camila Morais Oliveira; Lennon Chaves (WSSE, 2023)

Robert: An Automated Tool to Perform Mobile Application Test. - Lennon Correa Chaves; Flavia Camila Morais Oliveira; Leonardo Albuquerque Tiago; Renata Gabriella Vieira Castro (ICCTA, 2024)

Streamlining Test Execution: A Case Study on the Use of Automated Testing to Enhance Productivity. - Rhuan Viana; Flavia Camila Morais Oliveira; Lennon Chaves (ICSIE, 2024)

Enhancing Automated Tools: Reporting Bugs with Bug Builder. - Lennon Chaves; Flavia Camila Morais Oliveira; Leonardo Tiago 001 (SAST, 2024)

Benefits and Challenges of a Physical Device Farm for Automated Software Testing: A Case Study of the STELA Tool Implementation. - Lennon Chaves; Flavia Camila Morais Oliveira; Leonardo Tiago 001; Renata Gabriella Vieira Castro (SAST, 2024)

Reducing the Allocation of Software Testing Demand: A Study on the Pros and Cons using STELA Tool. - Flavia Camila Morais Oliveira; Leonardo Tiago 001; Lennon Chaves (SAST, 2024)

Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool. - Lennon Chaves; Flavia Camila Morais Oliveira; Leonardo Tiago 001 (SIGSOFT FSE Companion, 2024)

Applying the LinkDoc to Improve the Documentation Delivery Time for Carriers Homologations in Latin America. - André José de Franca; Gaspar Henrique Alves Mota; Flavia Camila Morais de Oliveira; Lennon Correa Chaves (WSSE, 2024)

Supplementary Material - Supporting Usability Inspection Education with a Tailored ChatGPT: An Empirical Study on Learning Heuristic Evaluation. - Lennon Chaves; Romualdo Costa de Azevedo; Márcia Lima; Tayana Conte (Zenodo, 2025)