Atif Memon

5204 Iribe Center
(301) 405-3071
Ph.D., University of Pittsburgh (Computer Science)

Atif M. Memon is a professor in the Department of Computer Science, where he founded and heads the Event Driven Software Lab (EDSL).

Researchers at the EDSL study issues of design, development, quality assurance, and maintenance of such software applications. He designed and developed the model-based GUI testing software GUITAR, which operates on Android, iPhone, Java Swing, .NET, Java SWT, UNO, MS Windows, and web systems, and leverages a resource cloud for test automation.

Memon has published more than 90 research articles on event driven systems, software testing, and software engineering. He is the founder of the International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software (TESTBEDS). He also helped develop the workshop on Experimental Evaluation of Software and Systems in Computer Science (EVALUATE).

He is the serial editor of Advances in Computers, published by Elsevier. This series, since its first volume in 1960 and now the oldest series still being published, covers new developments in computer technology. He is an elected member of the steering committee of the International Conference on Software Testing, Verification and Validation ICST, the largest conference on software testing.

Memon also serves on various editorial boards, including that of the Journal of Software Testing, Verification, and Reliability. He has served on numerous National Science Foundation panels and program committees, including ICSE, FSE, ICST, WWW, ASE, ICSM, and WCRE. Additionally, Memon is serving on a National Academy of Sciences panel as an expert in the area of computer science and information technology, for the Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID).

He received his doctorate in computer science from the University of Pittsburgh in 2001, and started at the University of Maryland shortly after. In 2007, Memon was a visiting scholar at the Institute of Software at the Chinese Academy of Sciences, and a visiting researcher at Tata Research Development and Design Centre.

Go here to view Memon's academic publications on Google Scholar.



Memon AM, Xie Q.  2004.  Empirical evaluation of the fault-detection effectiveness of smoke regression test cases for GUI-based software. Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on.

Yilmaz C, Memon AM, Porter A, Krishna AS, Schmidt DC, Gokhale A, Natarajan B.  2004.  Preserving distributed systems critical properties: a model-driven approach. Software, IEEE. 21(6):32-40.

Vasan A, Memon AM.  2004.  ASPIRE: automated systematic protocol implementation robustness evaluation. Software Engineering Conference, 2004. Proceedings. 2004 Australian.


Memon AM.  2003.  Advances in GUI Testing-4 Challenges. Advances in Computers. 58:159-161.

Memon AM.  2003.  Advances in GUI Testing-10 Summary. Advances in Computers. 58:195-196.

Memon AM.  2003.  Advances in GUI Testing-9 Discussion. Advances in Computers. 58:194-194.

Memon AM.  2003.  Advances in GUI Testing. Advances in ComputersAdvances in Computers. Volume 58:149-201.

Memon AM, Soffa M L.  2003.  Regression testing of GUIs. ACM SIGSOFT Software Engineering Notes. 28(5):118-127.

Memon AM, Banerjee I, Nagarajan A.  2003.  What test oracle should I use for effective GUI testing? Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on.

Memon AM, Banerjee I, Hashmi N, Nagarajan A.  2003.  DART: a framework for regression testing "nightly/daily builds" of GUI applications. Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on.

Memon AM, Banerjee I, Nagarajan A.  2003.  GUI ripping: Reverse engineering of graphical user interfaces for testing. Proceedings of the 10th working conference on reverse engineering (WCRE’03). 1095(1350/03):17-00.

Nagarajan A, Memon AM.  2003.  Refactoring using event-based profiling. First International Workshop on REFactoring: Achievements, Challenges, Effects (REFACE).



Memon AM, Soffa M L, Pollack ME.  2001.  Coverage criteria for GUI testing. Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering.

Memon AM, Pollack ME, Soffa ML.  2001.  Hierarchical GUI test case generation using automated planning. Software Engineering, IEEE Transactions on. 27(2):144-155.


Memon AM, Pollack ME, Soffa M L.  2000.  Automated test oracles for GUIs. SIGSOFT Softw. Eng. Notes. 25(6):30-39.

Memon AM, Pollack ME, Soffa ML.  2000.  A planning-based approach to GUI testing. Proceedings of The 13th International Software/Internet Quality Week.


Memon AM, Pollack ME, Soffa ML.  1999.  Using a goal-driven approach to generate test cases for GUIs. Software Engineering, 1999. Proceedings of the 1999 International Conference on.


Guizani M, Memon AM.  1996.  SEROS – A SELF-ROUTING OPTICAL ATM SWITCH. International Journal of Communication Systems. 9(2):115-125.