| Capture & Replay with Text-Based Reuse and Framework Agnosticism. F Arruda, A Sampaio, FA Barros SEKE, 420-425, 2016 | 14 | 2016 |
| Formal testing from natural language in an industrial context A Sampaio, F Arruda Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF …, 2016 | 4 | 2016 |
| Automation and consistency analysis of test cases written in natural language: An industrial context F Arruda, F Barros, A Sampaio Science of Computer Programming 189, 102377, 2020 | 2 | 2020 |
| A refinement-based approach to safe smart contract deployment and evolution P Antonino, J Ferreira, A Sampaio, AW Roscoe, F Arruda Software and Systems Modeling, 1-37, 2024 | 1 | 2024 |
| A formal approach to test automation based on requirements, domain model, and test cases written in natural language FMC ARRUDA Universidade Federal de Pernambuco, 2022 | 1 | 2022 |
| Test automation from natural language with reusable capture & replay and consistency analysis FMC ARRUDA Universidade Federal de Pernambuco, 2017 | 1 | 2017 |
| Safe evolution of smart contracts A Sampaio, P Antonino, J Ferreira, F Arruda, AW Roscoe Anais do I Colóquio em Blockchain e Web Descentralizada, 61-66, 2023 | | 2023 |
| Definição de Indicadores de Qualidade em serviços de Telessaúde através de Mineração de Dados FMC de Arruda¹, CMG de Gusmão, RJ D’Castro¹ Anais da Escola Regional de Informática de Pernambuco. ISSN 2317-5346 1 (1), 2012 | | 2012 |
