GUIDiVa: Automated Discovery and Validation of State-Based GUI Invariants. - Darab, Mohammad Ali Darvish; Chang, Carl K. (2014)

Black-Box Test Data Generation for GUI Testing. - Darab, Mohammad Ali Darvish; Chang, Carl K. (2014)

On exceptions, events and observer chains. - Bagherzadeh, Mehdi; Rajan, Hridesh; Darab, Mohammad Ali Darvish (2013)

Modularizing crosscutting concerns with ptolemy. - Rajan, Hridesh; Mooney, Sean L.; Leavens, Gary T.; Dyer, Robert; Fernando, Rex D.; Darab, Mohammad Ali Darvish; Welter, Bryan (2011)

RoboCup 3D Soccer Simulation Server: A Progressing Testbed for AI Researchers. - Darab, Mohammad Ali Darvish; Ebrahimi, Mosalam (2006)