Información del autor
Documentos disponibles escritos por este autor (2)
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 ; Molinero Brizuela, Carlos | IEEE Computer SOC | 2009-04This paper presents an empirical study of the mutation techniques used by the tool PASTE. This tool allows the automation of our passive testing methodology for systems that present stochastic-time information. In our proposal, invariants expres[...]texto impreso
Molinero Brizuela, Carlos | 2009Este trabajo presenta una aproximación formal para crear especificaciones de sistemas de agentes jerarquizados. El funcionamiento permite una automatización de las tareas, a las que el usuario del sistema accederá a través de peticiones. De mane[...]
