Proyectos
Proyecto RTI2018-093608-B-C33 FAME
Modelado formal y métodos avanzados de testing. Aplicaciones a medicina y sistemas
Financiador:
MINISTERIO DE CIENCIA, INNOVACIÓN Y UNIVERSIDADES
date_range
Duración del 01 de enero de 2019 al 30 de septiembre de 2022
(45 meses)
Finalizó
euro
74.778,00 EUR
De ámbito Nacional. Se ha otorgado en régimen de Concurrencia competitiva.
Convocatoria:
Retos de la Sociedad. Plan Nacional I+D+i
(MINISTERIO DE CIENCIA, INNOVACIÓN Y UNIVERSIDADES)
Web
open_in_new
Programa:
Plan Nacional I+D+i
Subprograma:
Retos de la Sociedad
Investigadores/as
Publicaciones relacionadas con el proyecto (3)
Mostrar por tipología2022
-
IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation
IEEE Transactions on Reliability
2020
-
Combining Evolutionary Mutation Testing with Random Selection
2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings
2019
-
Evolutionary mutation testing for IoT with recorded and generated events
Software - Practice and Experience