Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Maag, Stéphane ; Cavalli, Ana ; Núñez García, Manuel | IEEE Computer Society | 2009-12In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new pro[...]
