Ikerketa proiektua
RTI2018-093608-B-C33
Modelado formal y métodos avanzados de testing. Aplicaciones a medicina y sistemas
date_range
Iraupena 2019(e)ko urtarrila-(a)k 01-(e)tik 2022(e)ko iraila-(a)k 30-(e)ra izan da
(45 months)
Amaitu
Ikertzaileak
(3) proiektuarekin lotutako argitalpenak
Erakutsi urterokoaren araberaArtikulua
-
IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation
2022
IEEE Transactions on Reliability
Biltzar ekarpena
-
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