Security of mobile health (mHealth) systems. - Fatma Zubaydi; Ayat Saleh; Fadi A. Aloul; Assim Sagahyroon (BIBE, 2015)

Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines. - Khaled El-Fakih; Nina Yevtushenko 001; Ayat Saleh (Comput. J., 2019)