Filipe Arruda

According to our database1, Filipe Arruda authored at least 5 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A refinement-based approach to safe smart contract deployment and evolution.
Softw. Syst. Model., June, 2024

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs.
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.
Sci. Comput. Program., 2020

2016
Capture & Replay with Text-Based Reuse and Framework Agnosticism.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Formal Testing from Natural Language in an Industrial Context.
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016


  Loading...