Runtime Verification of User Interface Guidelines in Mobile Devices. - Chafik Meniar; Florence Opalvens; Sylvain Hallé (RV, 2017)