Abdulaziz Alkhalid, Yvan Labiche. Towards GUI Functional Verification using Abstract Interpretation. In Leszek A. Maciaszek, Marten van Sinderen, editors, Proceedings of the 13th International Conference on Software Technologies, ICSOFT 2018, Porto, Portugal, July 26-28, 2018. pages 415-422, SciTePress, 2018. [doi]
Abstract is missing.