Mohammad Ali Darvish Darab

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Automated Discovery

Symbolic Execution

Simulated Annealing Algorithm

Top Venues

Publications

Mohammad Ali Darvish Darab, Carl K. Chang
Black-Box Test Data Generation for GUI Testing. QSIC (2014)
Mohammad Ali Darvish Darab, Carl K. Chang
GUIDiVa: Automated Discovery and Validation of State-Based GUI Invariants. COMPSAC (2014)
Mehdi Bagherzadeh, Hridesh Rajan, Mohammad Ali Darvish Darab
On exceptions, events and observer chains. AOSD (2013)
Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter
Modularizing crosscutting concerns with ptolemy. OOPSLA Companion (2011)
Mohammad Ali Darvish Darab, Mosalam Ebrahimi
RoboCup 3D Soccer Simulation Server: A Progressing Testbed for AI Researchers. SGAI Conf. (Applications) (2006)