Seguir
Lennon Correa Chaves
Lennon Correa Chaves
Reseacher, Institute of Computing, Federal University of Amazonas
Dirección de correo verificada de icomp.ufam.edu.br
Título
Citado por
Citado por
Año
DSVerifier-aided verification applied to attitude control software in unmanned aerial vehicles
L Chaves, IV Bessa, H Ismail, AB dos Santos Frutuoso, L Cordeiro, ...
IEEE Transactions on Reliability 67 (4), 1420-1441, 2018
192018
WDP-RT: Uma técnica de leitura para inspeção de usabilidade de aplicações Web
M Gomes, DV Santos, L Chaves, A Castro, VT Vaz, A Soares, ...
VI Experimental Software Engineering Latin American Workshop (ESELAW 2009) 1 …, 2009
172009
Verifying fragility in digital systems with uncertainties using DSVerifier v2. 0
LC Chaves, HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho
Journal of Systems and Software 153, 22-43, 2019
142019
Verifying digital systems with MATLAB
L Chaves, I Bessa, L Cordeiro, D Kroening, E Lima
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
142017
DSSynth: an automated digital controller synthesis tool for physical plants
A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
102017
Dsvalidator: An automated counterexample reproducibility tool for digital systems
L Chaves, I Bessa, L Cordeiro, D Kroening
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
62018
Improvements of the Software Quality Assurance Process Towards Issues’ Effectiveness in a Global Software Development Environment.
L Chaves, R Castro, F Oliveira, L Tiago
Proceedings of the 2023 9th International Conference on Computer Technology …, 2023
22023
Formal verification applied to attitude control software of unmanned aerial vehicles
LC Chaves
Universidade Federal do Amazonas, 2018
22018
WE-QT tool: uma ferramenta de apoio a inspeção de usabilidade de aplicações web.
PS Fernandes, L Chaves, BA Bonifácio, T Conte
IHC+ CLIHC (Companion), 6-7, 2011
22011
TSS Script: Automation Tool Applied in the Preparation of True Single SKU Testing Environment
AB da Costa, M Meireles, FC de Barros, G Mota, L Chaves, L Roque
2022 IEEE 2nd International Conference on Information Communication and …, 2022
12022
Assertive Wiki: An Experience Report In The Industry on the Redesign of Software Requirements Documentation
R Viana, R Souza, W Silva, F Oliveira, L Tiago, L Chaves
Proceedings of the 2023 12th International Conference on Software and …, 2023
2023
Enhancing Issue Management through the Employment of Inspection Technique: An Experience Report in The Industry
R Castro, F Oliveira, J Rodrigues, L Tiago, C Sousa, L Chaves
Proceedings of the XXII Brazilian Symposium on Software Quality, 208-217, 2023
2023
LinkDoc: An Automated Process in the Delivery of Documentation in a Global Software Development Environment
AJD Franca, GHA Mota, KI Sahdo, L Tiago, F Oliveira, L Chaves
Proceedings of the 2023 5th World Symposium on Software Engineering, 9-16, 2023
2023
BSA Tool: An Experience Report of Software Automation to Perform Sanity Tests in a Global Software Development Environment
AC Chagas, D Gonzaga, L Albuquerque, F Oliveira, R Castro, L Chaves
2023 3rd International Conference on Information Communication and Software …, 2023
2023
The Employment of Testing DOJO as a Collaborative Learning Methodology for Teaching Failure Analysis: An Experience Report
M Meireles, C de Souza, FC de Barros, L Chaves, R de Castro, F Giuntini
2022 4th International Conference on Computer Science and Technologies in …, 2022
2022
Técnica automatizada para inspeção de aplicações Web
LC Chaves
Universidade Federal do Amazonas, 2011
2011
Liang Qian 9 Lianghui Ding 9
AC Chagas, AKS Vida, D Gonzaga, F Yang, F Oliveira, HY Lao, H Xu, ...
Use of Testing Dojo as a Methodology of Collaborative Learning in Teaching Testcase Writing: An experience report
FCP de BARROS, LC CHAVES, C de SOUZA, LFN de Melo ROQUE
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18