Filipe Arruda
Orcid: 0009-0008-1111-9142
According to our database1,
Filipe Arruda
authored at least 6 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Softw. Syst. Model., June, 2024
Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024
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
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016