- Dokumenresume Izzatdiunggah olehIzzat Alsmadi
- DokumenUsing Lightweight Formal Methods in User Interface Verificationdiunggah olehIzzat Alsmadi
- DokumenOpen Source Code Analysisdiunggah olehIzzat Alsmadi
- DokumenGUI Path Oriented Test Generation Algorithmsdiunggah olehIzzat Alsmadi
- DokumenGUI Path Oriented Test Generation Algorithms Paper Draftdiunggah olehIzzat Alsmadi
- DokumenGenerating Test Cases From the GUI Model Paperdiunggah olehIzzat Alsmadi
- DokumenBuilding a User Interface Test Automation Frameworkdiunggah olehIzzat Alsmadi