Evolutionary mutation testing for IoT with recorded and generated events | Publicación