Proyecto de investigación
TIN2015-65845-C3-3-R
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
date_range
Duración del 01 de enero de 2016 al 31 de diciembre de 2019
(48 meses)
Convocatoria:
6680
Retos de la Sociedad. Plan Nacional I+D+i
Investigadores/as
Publicaciones relacionadas con el proyecto (9)
Mostrar por anualidadAportación congreso
-
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
Artículo
-
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