Marc Adam

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Model Based Testing

Provably Correct

Formal Verification

Top Venues

Publications

Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim
GUICOP: Specification-Based GUI Testing. ICST (2012)