Filipe Arruda

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 4

Top Topics

Framework Enables

Natural Language

Model Based Testing

Top Venues

Sci. Comput. Program.

Softw. Syst. Model.

Publications

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
A refinement-based approach to safe smart contract deployment and evolution. Softw. Syst. Model. 23 (3) (2024)
Filipe Arruda, Flávia A. Barros, Augusto Sampaio
Automation and consistency analysis of test cases written in natural language: An industrial context. Sci. Comput. Program. 189 (2020)
Augusto Sampaio, Filipe Arruda
Formal Testing from Natural Language in an Industrial Context. SBMF (2016)
Filipe Arruda, Augusto Sampaio, Flávia A. Barros
Capture & Replay with Text-Based Reuse and Framework Agnosticism. SEKE (2016)