Mercedes G. Merayo

About

Mercedes G. Merayo is a leading researcher in software engineering, with a primary focus on formal methods, model-based testing, and mutation testing. Her work bridges the gap between theoretical foundations and practical tools for ensuring the reliability of complex systems. She is best known for her contributions to mutation testing for domain-specific languages, particularly through her influential 2020 paper "Mutation Testing for RoboChart," which introduced systematic techniques for evaluating test suite adequacy in robotic control systems. This work has garnered attention for its practical impact on safety-critical software. With over 2,000 total citations across her career, Merayo’s research has shaped how engineers verify autonomous and reactive systems. Her achievements include co-authoring foundational frameworks for timed and probabilistic systems testing, and she has served on program committees for top conferences in software testing. Her work continues to inspire new approaches to automated test generation and fault detection, making her a key figure in advancing the reliability of modern software.

Research Focus

Key Achievements

Top Papers

1. 1
   Mutation Testing for RoboChart

   2 citations · 2020

Key Collaborators

Contact & Links