- Documentoresume Izzatcaricato daIzzat Alsmadi
- DocumentoUsing Lightweight Formal Methods in User Interface Verificationcaricato daIzzat Alsmadi
- DocumentoOpen Source Code Analysiscaricato daIzzat Alsmadi
- DocumentoGUI Path Oriented Test Generation Algorithmscaricato daIzzat Alsmadi
- DocumentoGUI Path Oriented Test Generation Algorithms Paper Draftcaricato daIzzat Alsmadi
- DocumentoGenerating Test Cases From the GUI Model Papercaricato daIzzat Alsmadi
- DocumentoBuilding a User Interface Test Automation Frameworkcaricato daIzzat Alsmadi