WHO WE ARE
Research group description
The research group Design and Testing of Reliable Systems is one of the largest research groups working on Formal Testing in Spain. Its main research goal is to develop new theoretical methodologies for testing systems and apply them to practical solutions for industry. The group investigates different areas, including model based testing, distributed testing, asynchronous testing and mutation testing. In addition, the group develops tools to support its frameworks and applies their techniques to analyse, among others, service composition and cloud systems.
WHAT WE DO
Main research lines
- Model-based testing
- Distributed testing
- Asynchronous testing
- Mutation testing
- Analysis and testing of cloud systems
ACTIVE RESEARCH PROJECTS
DESAFíO-CM
DESArrollo Formal de sistemas y servicios beneficiosos para la sOciedad (TEC-2024/COM-235). Comunidad de Madrid. Convocatoria Tecnologías 2024.
(01/01/2025 – 31/12/2028)
AwESOMe
Advanced methodologies for architectures, designing and tESting of sOftware systEms (PID2021-122215NB-C31). Ministerio de Ciencia e Innovación. Plan Nacional Proyectos I+D.
(01/09/2022 – 31/08/2026)