| Model-based test case generation from UML sequence diagrams using extended finite state machines M Rocha, A Simão, T Sousa Software Quality Journal 29 (3), 597-627, 2021 | 32 | 2021 |
| Automatic analysis of requirements consistency with the B method TC de Sousa, JR Almeida Jr, S Viana, J Pavón ACM SIGSOFT Software Engineering Notes 35 (2), 1-4, 2010 | 29 | 2010 |
| A Formal Semantics for Use Case Diagram Via Event-B. TC de Sousa, L Kelvin, CD Neto, CGN de Carvalho J. Softw. 12 (3), 189-200, 2017 | 22 | 2017 |
| Using BDD and SBVR to refine business goals into an Event-B model: a research idea FL Siqueira, TC de Sousa, PSM Silva 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017 | 11 | 2017 |
| Handling inconsistencies in CTL model-checking using belief revision TC Sousa, R Wassermann Proc. of the Brazilian symposium on formal methods 2, 34-51, 2007 | 10 | 2007 |
| A proposal for extending UML-B to support a conceptual model TC de Sousa, CF Snook, PSM Silva Innovations in Systems and Software Engineering 7, 293-301, 2011 | 9 | 2011 |
| From formal requirements to automated web testing and prototyping ECB de Matos, TC Sousa Innovations in Systems and Software Engineering 6, 163-169, 2010 | 9 | 2010 |
| Revisão de modelos formais de sistemas de estados finitos TC De Sousa São Paulo, Março de, 2007 | 9 | 2007 |
| Reflections on cyberethics education for millennial software engineers CO Melo, TC de Sousa 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula …, 2017 | 6 | 2017 |
| Sustainable infrastructure, industrial ecology, and eco-innovation: Positive impact on society TC de Sousa, CO Melo Industry, Innovation and Infrastructure, 1093-1102, 2021 | 5 | 2021 |
| Test Case Generation by EFSM Extracted from UML Sequence Diagrams. M Rocha, A Simao, T Sousa, M Batista SEKE, 135-180, 2019 | 4 | 2019 |
| A practical Event-B refinement method based on a UML-Driven development process TC de Sousa, PS Muniz Silva, CF Snook Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012 | 3 | 2012 |
| Starting B Specifications from Use Cases. TC de Sousa, AG Russo ASM, 411, 2010 | 3 | 2010 |
| Starting B specifications from use cases AG Russo Jr, T de Sousa Abstract State Machines (ASM), Alloy, B and Z Conference, 2010 | 1 | 2010 |
| HYBRID FUZZY SYSTEM APPLIED TO PRIORITIZING THE CONSTRUCTION OF NEW FEEDERS IN POWER DISTRIBUTION NETWORKS AB Silva, HMGC Branco, TC de Sousa, JJPC Rodrigues, R De AL Rabêlo Energy Sources, Part A: Recovery, Utilization, and Environmental Effects, 1-18, 2021 | | 2021 |
| Autonomia financeira das universidades em foco: estudo de caso da Universidade Estadual do Piauí, Brasil FS Santos-Filho, TC de Sousa, HMGC Branco Research, Society and Development 9 (10), e4039108834-e4039108834, 2020 | | 2020 |
| Um Processo de Desenvolvimento Orientado a Objetos com Suporte à Verificação Formal de Inconsistências TC DE SOUSA | | 2013 |
| Uma Ferramenta para Geraçao Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso EC Brasil, TC de Sousa | | |
| EXTRAÇÃO DE CONHECIMENTO EM UM SURVEY SOBRE O USO DE COMPUTAÇÃO EM NUVEM NO BRASIL HB da Silva, VC Garcia, TC de Sousa, RAL Rabêlo, JHC Soares, ... | | |
| Geração de Testes de Aceitação em Fit a partir de Especificações em B TC de Sousa, CO Melo | | |