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


    desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas (01/10/2014 - 30/09/2018)
  • DArDOS

    Desarrollo y AnĂ¡lisis formal de sistemas complejos en contextos DistribuidOS: fundamentos, herramientas y aplicaciones (01/01/2016 - 31/12/2018)