1. Integrating Mutation Techniques to Keep Specification and Source Code in Sync;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Schema-guided Testing of Message-oriented Systems;Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering;2022
3. Mutation Patterns for Temporal Requirements of Reactive Systems;2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2017-03
4. From Statecharts into Model Checking;Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing - SAST;2017
5. Behaviour abstraction adequacy criteria for API call protocol testing;Software Testing, Verification and Reliability;2015-10-16