Atif Memon

4115 A.V. Williams Building
(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.



Memon AM, Porter A, Yilmaz C, Nagarajan A, Schmidt D, Natarajan B.  2004.  Skoll: distributed continuous quality assurance. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on.

Yilmaz C, Krishna AS, Memon AM, Porter A, Schmidt DC, Gokhale A, Natarajan B.  2004.  A Model-based Distributed Continuous Quality Assurance Process to Enhance the Quality of Service of Evolving Performance-intensive Software Systems. Proceedings of the 2nd ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS), Edinburgh, Scotland, UK.


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.  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, Pollack ME, Soffa ML.  2001.  Hierarchical GUI test case generation using automated planning. Software Engineering, IEEE Transactions on. 27(2):144-155.

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 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.