Proxecto de investigación
RTI2018-093608-B-C33
Modelado formal y métodos avanzados de testing. Aplicaciones a medicina y sistemas
date_range
Duración do 01 de xaneiro de 2019 ao 30 de setembro de 2022
(45 meses)
Rematado
Convocatoria:
Retos de la Sociedad. Plan Nacional I+D+i
Investigadores/as
Publicacións relacionadas co proxecto (3)
Mostrar por tipoloxí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