Towards GUI Functional Verification using Abstract Interpretation Topics: Application Software; Automated Software Engineering; Empirical Software Engineering; Formal Methods; Quality Management; Software Engineering Tools; System Software; Testing and Testability In Proceedings of the 13th International Conference on Software Technologies ICSOFT - Volume 1, 381-388, 2018 , Porto, Portugal