Este trabajo presenta una aplicación de las pruebas basadas en modelos (Model Based Testing - MBT) para automatizar las pruebas sobre interfaces gráficas de usuario (Graphical User Interfaces - GUI) de uso común en ...