- Documentresume Izzatuploaded byIzzat Alsmadi
- DocumentUsing Lightweight Formal Methods in User Interface Verificationuploaded byIzzat Alsmadi
- DocumentOpen Source Code Analysisuploaded byIzzat Alsmadi
- DocumentGUI Path Oriented Test Generation Algorithmsuploaded byIzzat Alsmadi
- DocumentGUI Path Oriented Test Generation Algorithms Paper Draftuploaded byIzzat Alsmadi
- DocumentGenerating Test Cases From the GUI Model Paperuploaded byIzzat Alsmadi
- DocumentBuilding a User Interface Test Automation Frameworkuploaded byIzzat Alsmadi