Research project
TIN2015-65845-C3-3-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Duration: from 01 January 2016 to 31 December 2019
(48 months)
Call:
6680
Retos de la Sociedad. Plan Nacional I+D+i
Researchers
Publications related to the project
Show by yearConference paper
-
Mutation Operators for Google Query Language
2020
Communications in Computer and Information Science
-
Combining Evolutionary Mutation Testing with Random Selection
2020
2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings
-
Evolutionary mutation testing for IoT with recorded and generated events
2019
Software - Practice and Experience
-
Generación de eventos de prueba para un sistema IoT de detección de caídas
2018
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
-
Generación automática de eventos de prueba para sistemas de IoT
2016
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
Article
-
A Wearable Fall Detection System Based on Body Area Networks
2020
IEEE Access
-
Evaluation of EPL mutation operators with the MuEPL mutation system
2019
Expert Systems with Applications
-
Test Event Generation for a Fall-Detection IoT System
2019
IEEE Internet of Things Journal
-
IoT–TEG: Test event generator system
2018
Journal of Systems and Software