Network Activities

General activities

Member activities

The links below provide a summary of activities developed by the network members:

University of Oviedo · inQA.labs · University of Sevilla (Quivir) · University of Sevilla (Madeira) · University of Alcalá/European University of Madrid · Carlos III University · Instituto Tecnológico de Informática de Valencia · Polytechnic University of Valencia · Polytechnic University of Madrid (fi)

University of Oviedo

The Software Engineering research group (GIIS) at the University of Oviedo is composed by nine researchers. It is located At Gijon, in the Computing Department. Their educational activities include the subjects of Software Engineering, as well as other specialized courses in software testing.

Some of the recent research projects in the field of software testing are IN2TEST - Integration of automated testing techniques in the software development & maintenance process (TIN2004-06689-C03-02), Test4SOA - Techniques for Functional Testing in Service Oriented Architectures (TIN2007-67843-C06-01) and MPPP - Software Testing Methodology for the Principality of Asturias (CN-07-168/08-073). The different research lines in software testing and main publications are described below:

More information in:


inQA.labs is a European independent Software Testing and Quality Assurance services company. We help software developers improve quality, reduce time-to-market and increase customer satisfaction.

We offer R&D, QA and IT departments, the professional services and the technological infrastructure for testing their products in the main networking and customer environments of the marketplace.

inQA.labs was founded in 1999 and has its headquarters in Barcelona and subsidiary in France. With the support of cutting-edge infrastructure and a team of skilled professionals, inQA.labs provides test-outsourcing services as well as software-testing solutions. It offers R&D, QA and Marketing Departments in large, medium and small companies the possibility of improving product quality and thereby sharpening their competitive edge, increasing their return on investment in development and enhancing customer loyalty.

inQA.labs' staff of 40 highly qualified professionals with different profiles adapts to each customer product in order to maximize testing efficiency, thus reducing costs. According to the type of project and the phase it is involved in, inQA.labs offers:

In addition to on-site services, inQA.labs' laboratories are equipped with platforms and tools that can be easily and quickly configured to reproduce any customer environment. To be highlighted:

inQA.labs' customers are worldwide companies leader in Information Technology, Software industry, or Internet which care about quality and believe that product excellence brings them a key advantage over their competition.

In summary, inQA.labs is:

University of Sevilla (Quivir)

The QUIVIR (LabIS2 and Q2Diag) Group is a research group at the Computer Languages and Systems Department of the University of Seville (Spain). This Group is active since the mid 90's, carrying out research on different areas of and model-based reasoning and diagnosis, since 2002 another important research area is IT Security. From the application point of view, the group has been involved in several projects and co-operated (and co-operates) closely with industry, mainly in the IT Security and TeleMedicine. The group has been involved in a EU project: TeleCARE (V Framework), it was active at the European Network level, in Monet I and II and the researchers belong to an Excellence Research Group of the Junta de Andalucía (Spain).


Automation of detection, diagnosis and fault tolerance in uncertainty and distributed system, DPI2006-15476-C02-00, 2006--. This project is funded by the Spanish Ministry of Science and Education and ERFD/FEDER and aims at developing a framework for self-diagnosis of distributed systems where we take in account the persistent of the different models and different improvements based on techniques of clustering and distributed constraint satisfaction problems. We consider that is important in the systems the dependability and fault tolerance, we will propose the modelling of realiability and security properties and the identification of the faults in the monitoring systems. We will develop different algorithms that take this information and automatically obtain the fault diagnosis and choose recovery actions using planning and re-planning. It can hopefully provide a foundation for building realistic automatic dependability and tolerance systems.

Automation of detection and diagnosis of malfunctions of static and dynamic systems using semiqualitative knowledge, DPI2003-07146-C02-01, 2003-2006. This project is funded by the Spanish Ministry of Science and Education and ERFD/FEDER , and aims at performing research in computer science and artificial intelligence with focus on: making advances in fault detection and model-based diagnosis for semiqualitative systems, solving complex problems at a higher efficiency and accuracy. We this project we intend to provide concrete results for the research community with the development of software facilities for fault detection and diagnosis of this systems.

Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. Our research is also focused on a methodology for Software Diagnosis , for isolating errors in programs. We have considered the deep integration between different areas derived from Software Engineering (Design by Contract and Testing techniques) and Artificial Intelligence (Model-Based Diagnosis and Constraint Programming). This methodology for diagnosing software has two different steps: first, it is necessary to capture the specification of the correct behaviour of a program (using DbC, testing or expert information); and second, it is necessary to isolate the error (using Model-Based Diagnosis and Constraint Programming techniques). The originality of this work stems from the transformation of contracts and source code into constraints, in order to determine which assertions and source code statements are not consistent with the specification.

Incident Response Team Forming, 2003-2006. This project is funded by SIC TI Service of University of Seville , and aimed at develop and deploy some security services, and improve the general quality of the managed security services offered. At this time, design and develop a corporate firewall in a heterogeneous network, and design and develop new security facilities that allows to form and manage efficient incident response capabilities.

Remote Monitoring and Detection of Deviation on Therapies using Artificial Intelligence (TelMedIA), 2005-2006. This project is funded by CITIC (Centro Andaluz de Innovación y Tecnologías de la Información y las Comunicaciones) for e-Health services. This R&D Project is centered on the Remote Patient Monitoring and Medical Problem Detection and Isolation in determined therapies.

University of Sevilla (Madeira)

In the last four years, the Madeira research group has been working on three main research lines. The first one is the definition and application of methodologies for developing web and multimedia systems ( The main results of this line are NDT (Navigational Development Techniques), a Web Engineering methodology to deal with requirements, and its application to several projects for the local public administration. The second research line is the model-driven software development and along with the aspect-oriented software development paradigm ( The third one is the systematic generation of system functional cases from use cases (, whose main results are the ETUC process and its supporting tools.

Currently, the results of our research lines have been published in several conference proceedings, journals and seminaries. A complete reference list and papers may be obtained from the personal web pages of the researchers whose URLs have been mentioned previously.

University of Alcalá/European University of Madrid

El grupo de investigación de Programación e Ingeniería del Software de la Universidad Europea de Madrid centra su trabajo en el área de ingeniería y calidad de software desde una perspectiva claramente aplicada. Liderado por el doctor Luis Fernández Sanz cuenta con diversos investigadores junior que van a leer su tesis doctoral en los próximos meses centrándose éstas en el campo de la calidad del software, reutilización y en el de generación de casos de pruebas. Están previstas diversas publicaciones adicionales como resultados de estas tesis y de las otras actividades del grupo. El grupo cuenta con experiencia en proyectos competitivos de financiación pública y no competitivos (Vodafone, Meta4, France Telecom, Ministerio de Asuntos Exteriores) en la ámbito de la ingeniería y calidad del software. El grupo cuenta con numerosas publicaciones nacionales e internacionales tanto en congresos como en revistas y libros (en español y en inglés). Participa en la actual acción especial sobre pruebas de software REPRIS.

Proyectos recientes relacionados con pruebas

Otros proyectos relacionados con calidad en general

Otras actividades de interés

Carlos III University

The research activities performed by Software Engineering Group at Carlos III University of Madrid in the area of software validation, verification and testing are centred in the definition and experimentation of methods, techniques and tools for:

Moreover, this research team is working in the evaluation of the curricula in software verification, validation and testing in the Spanish Universities teaching degree studies in computer science.

Instituto Tecnológico de Informática de Valencia

El grupo de Investigación SQuaC (Software Correctness and Quality) del Instituto Tecnológico de Informática de la Universidad Politécnica de Valencia (ITI) está formado por 5 personas. Desde su creación en Abril de 2003, el grupo SQuaC del ITI lleva a cabo tareas de investigación y desarrollo en materia de calidad, verificación y testeo de sistemas y software. El grupo trabaja a menuda con empresas informáticas para transferir los resultados de la investigación y ayudarlas a mejorar los procesos de desarrollo de software, en especial los procesos de captura de requisitos y testeo.

El grupo SQuaC del ITI es el organizador del evento JTS (Jornadas sobre el Testeo de Software), que en el año 2007 celebra su cuarta edición ( Además el grupo ofrece cursos especializados en testeo (

Algunos de los proyectos de investigación realizados en la temática de calidad de software del software son COMPAS - Diseño y verificación COMPosicional de sistemAs abiertos y basados en componenteS (subvencionado por la Conselleria Empresa, Universidad Y Ciencia GV05/261) y EvoTest ? Evolutionary Testing for Complex Systems (subvencionado por la Comisión Europea, FP6-IST-33472).

Las diferentes líneas de investigación en calidad y testeo de software se describen a continuación:

Polytechnic University of Valencia

The ISSI research group from the Universidad Politécnica de Valencia has a solid experience in software modeling languages and techniques. Historically, our research efforts have resulted in both, formal models and associated tools, ranging from rapid protyping environments to model compilers allowing automatic code generation in modern implementation technologies. Our current research interests include Requirements Engineering, Formal Methods, Software Architectures, Object-Oriented Modeling, Model Compilers, Aspect-Oriented Development, Distributed Systems, Software Evolution, Model Management, Workflow Management, Software Process and Agile Methods, Digital Libraries, Safety-Oriented Systems. In most of these research lines, validation and verification activities have been present. Through the participation in this network, some members of ISSI group want to promote their testing interests, by sharing knowledge and collaborating in activities with other groups. Until now, the work we have carried out in testing activities can be classified in the next three contexts: Academic, Industrial and Research.

Polytechnic University of Madrid (fi)