1. Validating the correctness of reactive systems specifications through systematic exploration;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
2. Error Finding in Real-Time Systems using Mutants of Temporal Properties;2021 40th International Conference of the Chilean Computer Science Society (SCCC);2021-11-15
3. Model-Driven Software Development Combined with Semantic Mutation of UML State Machines;Communications in Computer and Information Science;2020
4. A Conceptual Metamodel to Bridging Requirement Patterns to Test Patterns;Proceedings of the XXXIII Brazilian Symposium on Software Engineering;2019-09-23
5. An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems;2019 IEEE 27th International Requirements Engineering Conference Workshops (REW);2019-09