On Graphical User Interface Verification Topics: Testing and Testability In Proceedings of the 13th International Conference on Software Technologies ICSOFT - Volume 1, 373-380, 2018 , Porto, Portugal