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 | 3 | 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 |