A Generic Model-Based Methodology of Testing Techniques to Obtain High Quality Software. - Khaled Almakadmeh; Fatima Abu-Zitoon (IPAC, 2015)