Información del autor
Autor Molinero Brizuela, Carlos |
Documentos disponibles escritos por este autor (2)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
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[...]