Filipe Arruda

dblp:183/9121 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
2since 2021 · last 2026
0009-0008-1111-9142ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author
YearPublicationVenuePosition
2026 Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs
Gabriel Leite, Filipe Arruda, Pedro R. G. Antonino, Augusto Sampaio 0001, A. W. Roscoe 0001
Sci. Comput. Program.2
2024 A refinement-based approach to safe smart contract deployment and evolution
Pedro R. G. Antonino, Juliandson Ferreira, Augusto Sampaio 0001, A. W. Roscoe 0001, Filipe Arruda
Softw. Syst. Model.5
2020 Automation and consistency analysis of test cases written in natural language: An industrial context
Filipe Arruda, Flávia de Almeida Barros, Augusto Sampaio 0001
Sci. Comput. Program.1
2016 Capture & Replay with Text-Based Reuse and Framework Agnosticism
abstract
Software systems need to be constantly tested, either to verify changes or to check conformance to requirements.The current leading approaches to automate GUI tests are coding and the use of Capture & Replay (C&R) tools.Coding is usually associated with (even if ad hoc) reuse strategies, but requires from the developer specialized knowledge about the adopted framework.On the other hand, even though C&R is able to promote faster automation, it raises maintainability and scalability issues in the long term due to scripts scattering and rework for each new test case, because usually there is no associated reuse strategy.In order to combine the benefits of both approaches, we propose: an abstract and framework-free representation of test actions captured during testing activities; a text-based strategy that matches a new test case with previously recorded test actions; and a C&R tool that implements these concepts in the mobile context.We developed and evaluated our strategy in the context of a partnership with Motorola Mobility, achieving a reuse ratio up to 71% with time gains similar to traditional C&R approaches when compared to coding.
Filipe Arruda, Augusto Sampaio 0001, Flávia de Almeida Barros
SEKE1