Envios by Izzat Alsmadi

resume Izzat

Using Lightweight Formal Methods in User Interface Verification

Open Source Code Analysis

GUI Path Oriented Test Generation Algorithms

GUI Path Oriented Test Generation Algorithms Paper Draft

Generating Test Cases From the GUI Model Paper

Building a User Interface Test Automation Framework