Towards the Integration of Visual and Formal Models for GUI Testing