Filipe Arruda

According to our database, Filipe Arruda authored at least 8 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs.

Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe

Sci. Comput. Program., 2026

2025

Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language.

Filipe Arruda, Flávia A. Barros, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 28th Brazilian Symposium, 2025

2024

A refinement-based approach to safe smart contract deployment and evolution.

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda

Softw. Syst. Model., June, 2024

Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts.

Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. W. Roscoe, Filipe Arruda

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs.

Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2020

Automation and consistency analysis of test cases written in natural language: An industrial context.

Filipe Arruda, Flávia A. Barros, Augusto Sampaio

Sci. Comput. Program., 2020

2016

Capture & Replay with Text-Based Reuse and Framework Agnosticism.

Filipe Arruda, Augusto Sampaio, Flávia A. Barros

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Formal Testing from Natural Language in an Industrial Context.

Augusto Sampaio, Filipe Arruda

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016