Dalal Hammoud

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Provably Correct

Formal Verification

Graphical User Interfaces

Test Case Generation

Top Venues

Softw. Test. Verification Reliab.

Publications

Dalal Hammoud, Fadi A. Zaraket, Wes Masri
GUICop: Approach and toolset for specification-based GUI testing. Softw. Test. Verification Reliab. 27 (8) (2017)
Dalal Hammoud, Fadi A. Zaraket, Wes Masri
GUICop: Approach and Toolset for Specification-based GUI Testing. CoRR (2016)
Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim
GUICOP: Specification-Based GUI Testing. ICST (2012)