Atif Memon
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.
Publications
2012
2012. Advances in Computers.
2012. Grey-box GUI Testing: Efficient Generation of Event Sequences. arXiv:1205.4928.
2011
2011. Towards incremental component compatibility testing. Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE. 11:119-128.
2011. Developing a Single Model and Test Prioritization Strategies for Event-Driven Software. Software Engineering, IEEE Transactions on. 37(1):48-64.
2011. GUI Interaction Testing: Incorporating Event Context. Software Engineering, IEEE Transactions on. 37(4):559-574.
2010
2010. Iterative execution-feedback model-directed GUI testing. Information and Software Technology. 52(5):559-575.
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.
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.
2010. Community-based, collaborative testing and analysis. Proceedings of the FSE/SDP workshop on Future of software engineering research. :239-244.
2010. Repairing GUI Test Suites Using a Genetic Algorithm. Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. :245-254.
2010. Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback. Software Engineering, IEEE Transactions on. 36(1):81-95.
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
2009. Testing graphical user interfaces. Encyclopedia of Information Science and Technology.
2009. TESTING EVENT-DRIVEN SOFTWARE–THE NEXT QA CHALLENGE? Software Engineering and DevelopmentSoftware Engineering and Development. :187-187.
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.
2009. Introducing a test suite similarity metric for event sequence-based test cases. Software Maintenance, 2009. ICSM 2009. IEEE International Conference on. :243-252.
2009. Using reverse engineering for automated usability evaluation of GUI-based applications. Human-Centered Software Engineering. :335-355.
2009. Prioritizing component compatibility tests via user preferences. Software Maintenance, 2009. ICSM 2009. IEEE International Conference on. :29-38.
2009. An Initial Characterization of Industrial Graphical User Interface Systems. Software Testing Verification and Validation, 2009. ICST '09. International Conference on. :11-20.
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.
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.
2009. Advances in Web Testing. Computer Performance IssuesComputer Performance Issues. Volume 75:281-306.
2008
2008. Effective and scalable software compatibility testing. Proceedings of the 2008 international symposium on Software testing and analysis. :63-74.
2008. Call-Stack Coverage for GUI Test Suite Reduction. Software Engineering, IEEE Transactions on. 34(1):99-115.
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.
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.
2008. Test case generator for GUITAR. Companion of the 30th international conference on Software engineering. :959-960.
2008. Alternating GUI Test Generation and Execution. Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic Industrial Conference. :23-32.
2008. Position Paper: Improving Browsing Environment Compliance Evaluations for Websites. Relation. 10(1.14):6113-6113.
2008. Relationships between Test Suites, Faults, and Fault Detection in GUI Testing. Software Testing, Verification, and Validation, 2008 1st International Conference on. :12-21.
2007
2007. Faults' context matters. Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting. :112-115.
2007. Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction. Software Maintenance, 2007. ICSM 2007. IEEE International Conference on. :335-344.
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.
2007. Using GUI Run-Time State as Feedback to Generate Test Cases. Software Engineering, 2007. ICSE 2007. 29th International Conference on. :396-405.
2007. Experimenting with software testbeds for evaluating new technologies. Empirical Software Engineering. 12(4):417-444.
2007. Agile Quality Assurance Techniques for GUI-Based Applications. Agile software development quality assuranceAgile software development quality assurance. :114-114.
2007. Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.
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.
2007. An event-flow model of GUI-based applications for testing. Software Testing, Verification and Reliability. 17(3):137-157.
2007. Designing and comparing automated test oracles for GUI-based software applications. ACM Trans. Softw. Eng. Methodol.. 16(1)
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.
2007. Automated gui testing guided by usage profiles. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :333-342.
2007. Direct-dependency-based software compatibility testing. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :409-412.
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.
2006
2006. Model-based testing of community-driven open-source GUI applications. Software Maintenance, 2006. ICSM'06. 22nd IEEE International Conference on. :145-154.
2006. Techniques and processes for improving the quality and performance of open-source software. Software Process: Improvement and Practice. 11(2):163-176.
2006. Employing user profiles to test a new version of a GUI component in its context of use. Software Quality Journal. 14(4):359-377.
2006. Studying the Characteristics of a "Good" GUI Test Suite. Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on. :159-168.
2005
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.
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.
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.
2005. Main effects screening. Proceedings of the 27th international conference on Software engineering - ICSE '05. :293-293.
2005. An evolutionary testbed for software technology evaluation. Innovations in Systems and Software Engineering. 1(1):3-11.
2005. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. Software Engineering, IEEE Transactions on. 31(10):884-896.
2005. Automating regression testing for evolving GUI software. Journal of Software Maintenance and Evolution: Research and Practice. 17(1):27-64.
2005. Call stack coverage for test suite reduction. Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on. :539-548.
2004
2004. Preserving distributed systems critical properties: a model-driven approach. Software, IEEE. 21(6):32-40.
2004. ASPIRE: automated systematic protocol implementation robustness evaluation. Software Engineering Conference, 2004. Proceedings. 2004 Australian. :241-250.
2004. Evaluating web page reliability across varied browsing environments. Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'04).
2004. Skoll: distributed continuous quality assurance. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :459-468.
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.
2004. Applying Model-based Distributed Continuous Quality Assurance Processes to Enhance Persistent Software Attributes. IEEE Software. 21(6):32-40.
2004. Validating quality of service for reusable software via model-integrated distributed continuous quality assurance. Software Reuse: Methods, Techniques, and Tools. :286-295.
2004. A distributed continuous quality assurance process to manage variability in performance-intensive software. 19th ACM OOPSLA Workshop on Component and Middleware Performance.
2004. Using tasks to automate regression testing of GUIs. International Conference on Artificial intelligence and Applications (AIA 2004). :16-18.
2004. Improving browsing environment compliance evaluations for websites. Proceedings of the International Workshop on Web Quality (WQ'04).
2004. Improving the Quality of Performance-intensive Software via Model-integrated Distributed Continuous Quality Assurance. Proceedings of the 8th International Conference on Software Reuse.
2004. Automated GUI regression testing using AI planning. Artificial Intelligence Methods in Software TestingArtificial Intelligence Methods in Software Testing. :51-99.
2004. Developing testing techniques for event-driven pervasive computing applications. Proceedings of The OOPSLA 2004 workshop on Building Software for Pervasive Computing (BSPC 2004).