Lennon C. Chaves

According to our database, Lennon C. Chaves authored at least 16 papers between 2011 and 2024.

Collaborative distances:

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

2024

Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool.

Lennon Chaves, Flavia Camila Morais Oliveira, Leonardo Tiago

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Reducing the Allocation of Software Testing Demand: A Study on the Pros and Cons using STELA Tool.

Flavia Camila Morais Oliveira, Leonardo Tiago, Lennon Chaves

Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing, 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, Renata Gabriella Vieira Castro

Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing, 2024

Enhancing Automated Tools: Reporting Bugs with Bug Builder.

Lennon Chaves, Flavia Camila Morais Oliveira, Leonardo Tiago

Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing, 2024

Robert: An Automated Tool to Perform Mobile Application Test.

Lennon Correa Chaves, Flavia Camila Morais Oliveira, Leonardo Albuquerque Tiago, Renata Gabriella Vieira Castro

Proceedings of the 2024 10th International Conference on Computer Technology Applications, 2024

2023

LinkDoc: An Automated Process in the Delivery of Documentation in a Global Software Development Environment.

André José De Franca, Gaspar Henrique Alver Mota, Klirssia Isaac Sahdo, Leonardo Tiago, Flavia Camila Morais Oliveira, Lennon Chaves

Proceedings of the 5th World Symposium on Software Engineering, 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, César Sousa, Lennon Chaves

Proceedings of the XXII Brazilian Symposium on Software Quality, 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, Lennon Chaves

Proceedings of the 2023 12th International Conference on Software and Information Engineering, 2023

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

Proceedings of the 9th International Conference on Computer Technology Applications, 2023

2019

Verifying fragility in digital systems with uncertainties using DSVerifier <i>v</i>2.0.

Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

J. Syst. Softw., 2019

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

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

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

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Verifying digital systems with MATLAB.

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration).

Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro

CoRR, 2016

2011

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

Proceedings of the IHC+CLIHC '11: 10th Brazilian Symposium on Human Factors in Computing Systems and the 5th Latin American Conference on Human Computer Interaction, Porto de Galinhas, Pernambuco, Brazil, October 25, 2011