Publications

[1] R. MONTEIRO, F.; CORDEIRO, L. C.; DE LIMA FILHO, E. B. Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract). In 33^rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018. DOI: 10.1145/3238147.3241981.

[2] R. MONTEIRO, F.; CORDEIRO, L. C.; DE LIMA FILHO, E. B. Bounded Model Checking of C++ Programs based on the Qt Cross-Platform Framework. Software Testing, Verification & Reliability, 2017. DOI: 10.1002/stvr.1632.

[3] GARCIA, M.; SOUSA, F. R. M.; CORDEIRO, L. C.; L. FILHO, E. B. ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. In: 23rd International SPIN Symposium on Model Checking of Software – SPIN, 2016. [Presentation] [Demonstration]

[4] SOUSA, F. R. M.; CORDEIRO, L. C.; L. FILHO, E. B. Bounded Model Checking of C++ Programs Based on the Qt Framework. In: IEEE 4th Global Conference on Consumer Electronics – GCCE. Osaka, 2015, p. 446-447. [Poster]

[4] SOUSA, F. R. M.; CORDEIRO, L. C.; L. FILHO, E. B. Verificação de Programas C++ Baseados no Framework Multiplataforma Qt. In: IV Encontro Regional de Computação e Sistemas de Informação – ENCOSIS. Manaus, 2015, p. 181-19. [Presentation]