Proyectos
Projekt TIN2015-65845-C3-3-R DArDOS
DESARROLLO Y ANÁLISIS FORMAL DE SISTEMAS COMPLEJOS EN CONTEXTOS DISTRIBUIDOS: FUNDAMENTOS, HERRAMIENTAS Y APLICACIONES
Geltungsbereich National. Es wurde auf Konkurrenzfähiger Wettbewerb-Basis gewährt.
Forscher/innen
Publikationen im Zusammenhang mit dem Projekt (9)
Nach Typologie anzeigen2020
-
Mutation Operators for Google Query Language
Communications in Computer and Information Science
-
Combining Evolutionary Mutation Testing with Random Selection
2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings
-
A Wearable Fall Detection System Based on Body Area Networks
IEEE Access
2019
-
Evolutionary mutation testing for IoT with recorded and generated events
Software - Practice and Experience
-
Evaluation of EPL mutation operators with the MuEPL mutation system
Expert Systems with Applications
-
Test Event Generation for a Fall-Detection IoT System
IEEE Internet of Things Journal
2018
-
Generación de eventos de prueba para un sistema IoT de detección de caídas
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
-
IoT–TEG: Test event generator system
Journal of Systems and Software
2016
-
Generación automática de eventos de prueba para sistemas de IoT
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016