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
desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas (01/10/2014 - 30/09/2018)
Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS: fundamentos, herramientas y aplicaciones (01/01/2016 - 31/12/2018)