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
FORTE-CM
FORmal models and Technologies for Emerging applications (P2018/TCS-4314). Comunidad de Madrid. Convocatoria Tecnologías 2018
(01/01/2019 – 31/12/2022)
FAME
Modelado Formal y Métodos Avanzados de Testing. Aplicaciones a Medicina y Sistemas Computacionales.(RTI2018-093608-B-C31). Ministerio de Ciencias, Innovación y Universidades. Plan Nacional Proyectos I+D, Retos Investigación.
(01/01/2019 – 31/12/2021)
Desarrollo de técnicas y metodologías flexibles para la optimización de sistemas cloud
Universidad Complutense de Madrid (ref. PR65/19-22452)
(01/01/2020 – 31/12/2022)