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 | 19 | 2018 |
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 | 17 | 2009 |
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 | 14 | 2019 |
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 | 14 | 2017 |
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 | 10 | 2017 |
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 | 6 | 2018 |
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 | 2 | 2023 |
Formal verification applied to attitude control software of unmanned aerial vehicles LC Chaves Universidade Federal do Amazonas, 2018 | 2 | 2018 |
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 | 2 | 2011 |
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 | 1 | 2022 |
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 | | |