- Documentresume Izzattéléversé parIzzat Alsmadi
- DocumentUsing Lightweight Formal Methods in User Interface Verificationtéléversé parIzzat Alsmadi
- DocumentOpen Source Code Analysistéléversé parIzzat Alsmadi
- DocumentGUI Path Oriented Test Generation Algorithmstéléversé parIzzat Alsmadi
- DocumentGUI Path Oriented Test Generation Algorithms Paper Drafttéléversé parIzzat Alsmadi
- DocumentGenerating Test Cases From the GUI Model Papertéléversé parIzzat Alsmadi
- DocumentBuilding a User Interface Test Automation Frameworktéléversé parIzzat Alsmadi