- Documentresume Izzatîncărcat deIzzat Alsmadi
- DocumentUsing Lightweight Formal Methods in User Interface Verificationîncărcat deIzzat Alsmadi
- DocumentOpen Source Code Analysisîncărcat deIzzat Alsmadi
- DocumentGUI Path Oriented Test Generation Algorithmsîncărcat deIzzat Alsmadi
- DocumentGUI Path Oriented Test Generation Algorithms Paper Draftîncărcat deIzzat Alsmadi
- DocumentGenerating Test Cases From the GUI Model Paperîncărcat deIzzat Alsmadi
- DocumentBuilding a User Interface Test Automation Frameworkîncărcat deIzzat Alsmadi