Atif Memon

Professor
4115 A.V. Williams Building
(301) 405-3071
Education: 
Ph.D., University of Pittsburgh (Computer Science)
Biography: 

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.

Publications

2012


Arlt S, Banerjee I, Bertolini C, Memon AM, Schäf M.  2012.  Grey-box GUI Testing: Efficient Generation of Event Sequences. arXiv:1205.4928.

2011


Bryce RC, Sampath S, Memon AM.  2011.  Developing a Single Model and Test Prioritization Strategies for Event-Driven Software. Software Engineering, IEEE Transactions on. 37(1):48-64.

Yuan X, Cohen MB, Memon AM.  2011.  GUI Interaction Testing: Incorporating Event Context. Software Engineering, IEEE Transactions on. 37(4):559-574.

Yoon I, Sussman A, Memon AM, Porter A.  2011.  Towards incremental component compatibility testing. Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE. 11:119-128.

2010


Yuan X, Memon AM.  2010.  Iterative execution-feedback model-directed GUI testing. Information and Software Technology. 52(5):559-575.

Blackburn SM, Diwan A, Hauswirth M, Memon AM, Sweeney PF.  2010.  Workshop on experimental evaluation of software and systems in computer science (Evaluate 2010). Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion.
:291-292.

Memon AM, Nguyen BN.  2010.  Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End. Advances in ComputersAdvances in Computers. Volume 80:121-162.

Memon AM, Porter A, Sussman A.  2010.  Community-based, collaborative testing and analysis. Proceedings of the FSE/SDP workshop on Future of software engineering research.
:239-244.

Huang S, Cohen MB, Memon AM.  2010.  Repairing GUI Test Suites Using a Genetic Algorithm. Software Testing, Verification and Validation (ICST), 2010 Third International Conference on.
:245-254.

Yuan X, Memon AM.  2010.  Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback. Software Engineering, IEEE Transactions on. 36(1):81-95.

Elsaka E, Moustafa WE, Nguyen B, Memon AM.  2010.  Using methods & measures from network analysis for gui testing. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on.
:240-246.

2009


Brooks PA, Robinson BP, Memon AM.  2009.  An Initial Characterization of Industrial Graphical User Interface Systems. Software Testing Verification and Validation, 2009. ICST '09. International Conference on.
:11-20.

McMaster S, Memon AM.  2009.  An Extensible Heuristic-Based Framework for GUI Test Case Maintenance. Software Testing, Verification and Validation Workshops, 2009. ICSTW '09. International Conference on.
:251-254.

Yuan X, Cohen MB, Memon AM.  2009.  Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces. Software Testing, Verification and Validation Workshops, 2009. ICSTW '09. International Conference on.
:263-266.

Eaton C, Memon AM.  2009.  Advances in Web Testing. Computer Performance IssuesComputer Performance Issues. Volume 75:281-306.

Strecker J, Memon AM.  2009.  Testing graphical user interfaces. Encyclopedia of Information Science and Technology.

Memon AM.  2009.  TESTING EVENT-DRIVEN SOFTWARE–THE NEXT QA CHALLENGE? Software Engineering and DevelopmentSoftware Engineering and Development.
:187-187.

Khan AH, Memon AM.  2009.  Enhancing Testing Technologies for Globalization of Software Engineering and Productivity. Handbook of Research on Software Engineering and Productivity Technologies: Implications of GlobalizationHandbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization.
:49-49.

Brooks PA, Memon AM.  2009.  Introducing a test suite similarity metric for event sequence-based test cases. Software Maintenance, 2009. ICSM 2009. IEEE International Conference on.
:243-252.

Yoon I-C, Sussman A, Memon AM, Porter A.  2009.  Prioritizing component compatibility tests via user preferences. Software Maintenance, 2009. ICSM 2009. IEEE International Conference on.
:29-38.

2008


McMaster S, Memon AM.  2008.  Call-Stack Coverage for GUI Test Suite Reduction. Software Engineering, IEEE Transactions on. 34(1):99-115.

Memon AM.  2008.  Automatically repairing event sequence-based GUI test suites for regression testing. ACM Transactions on Software Engineering and Methodology (TOSEM). 18(2):4:1–4:36-4:1–4:36.

Xie Q, Memon AM.  2008.  Using a pilot study to derive a GUI model for automated testing. ACM Transactions on Software Engineering and Methodology (TOSEM). 18(2):7:1–7:35-7:1–7:35.

Hackner DR, Memon AM.  2008.  Test case generator for GUITAR. Companion of the 30th international conference on Software engineering.
:959-960.

Yuan X, Memon AM.  2008.  Alternating GUI Test Generation and Execution. Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic Industrial Conference.
:23-32.

Strecker J, Memon AM.  2008.  Relationships between Test Suites, Faults, and Fault Detection in GUI Testing. Software Testing, Verification, and Validation, 2008 1st International Conference on.
:12-21.

Yoon I-C, Sussman A, Memon AM, Porter A.  2008.  Effective and scalable software compatibility testing. Proceedings of the 2008 international symposium on Software testing and analysis.
:63-74.

2007


Lindvall M, Rus I, Donzelli P, Memon AM, Zelkowitz MV, Betin-Can A, Bultan T, Ackermann C, Anders B, Asgari S et al..  2007.  Experimenting with software testbeds for evaluating new technologies. Empirical Software Engineering. 12(4):417-444.

Memon AM, Xie Q.  2007.  Agile Quality Assurance Techniques for GUI-Based Applications. Agile software development quality assuranceAgile software development quality assurance.
:114-114.

Porter A, Yilmaz C, Memon AM, Schmidt DC, Natarajan B.  2007.  Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.

Yilmaz C, Porter A, Krishna AS, Memon AM, Schmidt DC, Gokhale AS, Natarajan B.  2007.  Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems. Software Engineering, IEEE Transactions on. 33(2):124-141.

Memon AM.  2007.  An event-flow model of GUI-based applications for testing. Software Testing, Verification and Reliability. 17(3):137-157.

Eaton C, Memon AM.  2007.  An empirical approach to evaluating web application compliance across diverse client platform configurations. International Journal of Web Engineering and Technology. 3(3):227-253.

Brooks PA, Memon AM.  2007.  Automated gui testing guided by usage profiles. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering.
:333-342.

Yoon I-C, Sussman A, Memon AM, Porter A.  2007.  Direct-dependency-based software compatibility testing. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering.
:409-412.

Yuan X, Cohen M, Memon AM.  2007.  Covering array sampling of input event sequences for automated gui testing. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering.
:405-408.

Strecker J, Memon AM.  2007.  Faults' context matters. Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting.
:112-115.

McMaster S, Memon AM.  2007.  Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction. Software Maintenance, 2007. ICSM 2007. IEEE International Conference on.
:335-344.

Bryce RC, Memon AM.  2007.  Test suite prioritization by interaction coverage. Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting.
:1-7.

Yuan X, Memon AM.  2007.  Using GUI Run-Time State as Feedback to Generate Test Cases. Software Engineering, 2007. ICSE 2007. 29th International Conference on.
:396-405.

2006


Porter A, Yilmaz C, Memon AM, Krishna AS, Schmidt DC, Gokhale A.  2006.  Techniques and processes for improving the quality and performance of open-source software. Software Process: Improvement and Practice. 11(2):163-176.

Xie Q, Memon AM.  2006.  Studying the Characteristics of a "Good" GUI Test Suite. Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on.
:159-168.

Xie Q, Memon AM.  2006.  Model-based testing of community-driven open-source GUI applications. Software Maintenance, 2006. ICSM'06. 22nd IEEE International Conference on.
:145-154.

2005


Yilmaz C, Krishna AS, Memon AM, Porter A, Schmidt DC, Gokhale A, Natarajan B.  2005.  Main effects screening. Proceedings of the 27th international conference on Software engineering - ICSE '05.
:293-293.

Lindvall M, Rus I, Shull F, Zelkowitz MV, Donzelli P, Memon AM, Basili VR, Costa P, Tvedt R, Hochstein L.  2005.  An evolutionary testbed for software technology evaluation. Innovations in Systems and Software Engineering. 1(1):3-11.

Memon AM, Nagarajan A, Xie Q.  2005.  Automating regression testing for evolving GUI software. Journal of Software Maintenance and Evolution: Research and Practice. 17(1):27-64.

McMaster S, Memon AM.  2005.  Call stack coverage for test suite reduction. Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on.
:539-548.

Xie Q, Memon AM.  2005.  Rapid "crash testing" for continuously evolving GUI-based software applications. Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on.
:473-482.

Memon AM.  2005.  A process and role-based taxonomy of techniques to make testable COTS components. Testing Commercial-Off-The-Shelf Components And SystemsTesting Commercial-Off-The-Shelf Components And Systems.
:109-140.

Yilmaz C, Krishna AS, Memon AM, Porter A, Schmidt DC, Gokhale A, Natarajan B.  2005.  Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems. Proceedings of the 27th international conference on Software engineering.
:293-302.

2004


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.

Krishna A, Schmidt D, Memon AM, Porter A, Sevilla D.  2004.  Validating quality of service for reusable software via model-integrated distributed continuous quality assurance. Software Reuse: Methods, Techniques, and Tools.
:286-295.

Krishna A, Yilmaz C, Memon AM, Porter A, Schmidt DC, Gokhale A, Natarajan B.  2004.  A distributed continuous quality assurance process to manage variability in performance-intensive software. 19th ACM OOPSLA Workshop on Component and Middleware Performance.

Memon AM.  2004.  Using tasks to automate regression testing of GUIs. International Conference on Artificial intelligence and Applications (AIA 2004).
:16-18.

Eaton C, Memon AM.  2004.  Improving browsing environment compliance evaluations for websites. Proceedings of the International Workshop on Web Quality (WQ'04).

Krishna AS, Schmidt DC, Porter A, Memon AM, Sevilla-Ruiz D.  2004.  Improving the Quality of Performance-intensive Software via Model-integrated Distributed Continuous Quality Assurance. Proceedings of the 8th International Conference on Software Reuse.

Memon AM.  2004.  Automated GUI regression testing using AI planning. Artificial Intelligence Methods in Software TestingArtificial Intelligence Methods in Software Testing.
:51-99.

Memon AM.  2004.  Developing testing techniques for event-driven pervasive computing applications. Proceedings of The OOPSLA 2004 workshop on Building Software for Pervasive Computing (BSPC 2004).

Memon AM, Xie Q.  2004.  Using transient/persistent errors to develop automated test oracles for event-driven software. Automated Software Engineering, 2004. Proceedings. 19th International Conference on.
:186-195.

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.
:8-17.

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.

Pages