Abdulaziz Alkhalid, Yvan Labiche: Towards GUI Functional Verification using Abstract Interpretation. ICSOFT 2018: 415-422