documentclass[11pt]article pagestylemyheadings newedcommandentry[1]samepageparbox[t]394pt#1 par newboxcvdatesetboxcvdate=hboxtoday par textheight 9.0in textwidth 7.0in oddsidemargin -0.2in evensidemargin -0.2in topmargin -0.3in par typeout********************************** typeout***** CHECK THE CORRECT DATE ***** typeout********************************** par newedcommandzafootnotesizerm a newedcommandzbfootnotesizerm b newedcommandzbbfootnotesizerm b newedcommandzbbbfootnotesizerm b$^2$ newedcommandzbbbbfootnotesizerm b$^3$ newedcommandzcfootnotesizerm c newedcommandzdfootnotesizerm d newedcommandzefootnotesizerm e newedcommandzffootnotesizerm f newedcommandzgfootnotesizerm g newedcommandzhfootnotesizerm h newedcommandzhhfootnotesizerm i newedcommandzjfootnotesizerm j newedcommandzkfootnotesizerm k newedcommandzlfootnotesizerm l par newedcommandzi footnotesizerm i newedcommandzii footnotesizerm ii newedcommandziii footnotesizerm iii newedcommandziv footnotesizerm iv newedcommandzv footnotesizerm v par setlengthparindent0pt setlengthparskip1em thispagestyleempty par renewedcommandthesectionRomansection. renewedcommandthesubsectionAlphsubsection. renewedcommandthesubsubsectionromansubsubsection. par usepackagegraphicx begindocument markrightAtif M. Memonhfillcopycvdatehfill centerlinehugebf underlineCurriculum Vitae vskip 0.2in centerlinehugebf Atif M. Memon vskip 0.2in par Notarization. I have read the following and certify that this it curriculum vitae is a current and accurate statement of my professional record. par vskip 0.8in par Signature: ______ ____________________________________ hfill Date: underlinetoday par hspace2insl (Atif M. Memon) par sectionPersonal Information par mysubsection UID, Last Name, First Name, Contact Information begintabularrl bf UID & 106533587
bf Last Name & Memon
bf First Name & Atif
bf Contact Information & 4113 A.V.Williams Building, University of Maryland, College Park, MD 20742
& atif@cs.umd.edu endtabular par mysubsection Academic Appointments at UMD beginitemize par item Professor, Computer Science Department, UMCP.
July 2015-it present. par item Professor, Institute for Advanced Computer Studies, UMCP.
July 2015-it present. par item Associate Professor, Computer Science Department, UMCP.
July 2007-June 2015 . par item Associate Professor, Institute for Advanced Computer Studies, UMCP.
July 2007-June 2015. par item Assistant Professor, Computer Science Department, UMCP.
August 2001-July 2007. par item Assistant Professor, Institute for Advanced Computer Studies, UMCP.
August 2001-July 2007. enditemize par mysubsection Other Employment beginitemize item Scientist, Fraunhofer Center for Empirical Software Engineering, College Park, Maryland.
August 2001-December 2005. par item Mellon Fellow, Computer Science Department, University of Pittsburgh
August 1999-August 2001. par item Research Assistant, Computer Science Department, University of Pittsburgh
August 1998-August 1999. par item Teaching Fellow, Computer Science Department, University of Pittsburgh
August 1997-August 1998. par item Teaching Assistant, Computer Science Department, University of Pittsburgh
August 1996-August 1997. par item Lecturer, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia
December 1995-July 1996. par item Teaching/Research Assistant, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia
January 1993-December 1995. par item Lecturer/Teaching Assistant, University of Karachi
January 1992-January 1993. par enditemize par mysubsection Educational Background par beginitemize par item Ph.D., Computer Science, University of Pittsburgh, 2001.
Dissertation: em A Comprehensive Framework for Testing Graphical User Interfaces
Advisors: em Martha Pollack and Mary Lou Soffa par item M.S., Computer Science, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia, 1995.
Thesis: em A System for Prototyping Optical Architectures
Advisor: em Subbarao Ghanta par item B.C.S., Computer Science, University of Karachi, 1991. par enditemize par sectionResearch, Scholarly, and Creative Activities par student Indicates a student advised, co-advised, or directly supervised by Dr. Memon. par mysubsection Books par subsubsectionBooks Edited par beginenumerate par item Volume 99: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: Sep. 1, 2015; Imprint: Academic Press; ISBN: 978-0128021316; Pages: 260. par item Volume 97: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: Mar. 12, 2015; Imprint: Academic Press; ISBN: 9780128021330; Pages: 276. par item Volume 95: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: Sep. 5, 2014; Imprint: Academic Press; ISBN: 0128001607; Pages: 342. par item Volume 93: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: March 15, 2014; Imprint: Academic Press; ISBN: 0128001623; Pages: 328. par item Volume 91: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: Sep. 15, 2013; Imprint: Academic Press; ISBN: 0124080898; Pages: 240. par item Volume 89: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: Apr 10, 2013; Imprint: Academic Press; ISBN: 0124080944; Pages: 242. par item Volume 86: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: 31 Jul 2012; Imprint: Academic Press; ISBN: 9780123965356; Pages: 312. par item Volume 85: Advances in Computers, 1st Edition; Editor : A Memon; Release Date: 24 Apr 2012; Imprint: Academic Press; ISBN: 9780123964786; Pages: 408. par endenumerate par subsubsectionChapters par beginenumerate par item``Advances in automated model-based system testing of software applications with a GUI front-end,'' Atif M. Memon and Bao N. Nguyenstudent , it Advances in Computers, vol. 80, (Marvin V. Zelkowitz, ed.), 2010, pp. 121-162. bf (refereed) par item ``An Event-Flow Model to Test EDS,'' Atif M. Memon, (Enrique A. Belini ed.), it Software Engineering and Development, Nova Science Publishers, 2009. bf (refereed) par item ``Advances in Web Testing,'' Cyntrica Eaton and Atif M. Memon, (M. V. Zelkowitz ed.), Advances in Computers, Academic Press, vol. 75, 2009, pp. 281-306. bf (refereed) par item ``Enhancing Testing Technologies for Globalization of Software Engineering & Productivity,'' Amir Khan and Atif M. Memon, it Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalisation, Information Science Reference, 2009. bf (refereed) par item ``Using Reverse Engineering for Automated Usability Evaluation of GUI-Based Applications,'' Atif M. Memon, it Software Engineering Models, Patterns and Architectures for HCI, Springer, 2009. bf (refereed) par item ``Testing Graphical User Interfaces,'' Jaymie Streckerstudent and Atif M. Memon, (Mehdi Khosrow-Pour ed.) it Encyclopedia of Information Science and Technology, Second ed., IGI Publishing, 2009. bf (refereed) par item ``Agile Quality Assurance Techniques for GUI-Based Applications,'' Qing Xiestudent and Atif M. Memon, it Agile Software Development Quality Assurance, (Ioannis Stamelos and Panagiotis Sfetsos ed.), Idea Group Inc., 2007. bf (refereed) par item ``Automated GUI Regression Testing Using AI Planning,'' Atif M. Memon, it Artificial Intelligence Methods in Software Testing , (A. Kandel, H. Bunke and M. Last ed.), World Scientific Series in Machine Perception and Artificial Intelligence, World Scientific Publishing Co., vol. 56, pp. 51-100, 2004. bf (refereed) par item ``A Process and Role-Based Taxonomy of Techniques to Make Testable COTS Components,'' Atif M. Memon, it Testing Commercial-off-the-shelf Components and Systems, (S. Beydeda and V. Gruhn ed.), Springer, pp. 109-140, 2004. bf (refereed) par item ``Advances in GUI Testing,'' Atif M. Memon, it Highly Dependable Software, (M. V. Zelkowitz ed.), Advances in Computers, Academic Press, vol. 58, pp. 149-201, 2003. bf (refereed) par endenumerate par mysubsection Articles in Refereed Journals labeljournals par beginenumerate par item ``SITAR: GUI Test Script Repair,'' by Zebao Gaostudent , Zhenyu Chen, Yunxiao Zou, and Atif M. Memon, it IEEE Transactions on Software Engineering, (accepted), bf (refereed) par item ``MobiGUITAR - A Tool for Automated Model-Based Testing of Mobile Apps,'' by Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Bryan Dzung Tastudent , and Atif M. Memon, it IEEE Software, IEEE Computer Society Press. (accepted), bf (refereed) par itemlabelOME ``An Observe-Model-Exercise* Paradigm to Test Event-Driven Systems with Undetermined Input Spaces,'' by Bao Nguyenstudent and Atif Memon, it IEEE Transactions on Software Engineering, vol. 40, no. 3, pp. 216-234, March 2014, IEEE Computer Society. bf (refereed) par itemlabelMobiGUITAR ``MobiGUITAR - A Tool for Automated Model-Based Testing of Mobile Apps,'' by Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Bryan Dzung Tastudent , And Atif M. Memon, it IEEE Software, IEEE Computer Society Press. bf (refereed) par item ``Graphical User Interface (GUI) Testing: Systematic Mapping and Repository,'' by Ishan Banerjeestudent , Bao Nguyenstudent , Vahid Garousi, and Atif Memon, it Information and Software Technology, 2013. bf (refereed) par itemlabelASE13 ``GUITAR: an innovative tool for automated testing of GUI-driven software,'' by Bao N. Nguyenstudent , Bryan Robbinsstudent , Ishan Banerjeestudent , and Atif Memon, it Automated Software Engineering, 2013, pp. 1-41, Springer US. bf (refereed) par itemlabelTSE2013 ``A Uniform Representation of Hybrid Criteria for Regression Testing,'' by Sreedevi Sampath, Renee Bryce, and Atif Memon, it IEEE Transactions on Software Engineering, vol. 39, no. 10, pp. 1326-1344, Oct. 2013, IEEE Computer Society. bf (refereed) par item ``Testing Component Compatibility in Evolving Configurations,'' Ilchul Yoon, Alan Sussman, and Atif Memon, and Adam Porter, it Information and Software Technology, vol. 55, number 2, 2013, ACM, pp. 445-458. bf (refereed) par itemlabelTOSEM2012 ``Accounting for Defect Characteristics in Evaluations of Testing Techniques,'' Jaymie Streckerstudent and Atif M. Memon, it ACM Transactions on Software Engineering and Methodology, vol. 21, issue 3, 2012, ACM. bf (refereed) par itemlabelTSE2011 ``GUI Interaction Testing: Incorporating Event Context,'' Xun Yuanstudent , Myra B. Cohen and Atif M. Memon, em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 37, no. 4, 2011, pp. 559-574. bf (refereed) par itemlabelTSE2011a ``Developing a Single Model and Test Prioritization Strategies for Event-Driven Software,'' Renee Bryce, Sreedevi Sampath and Atif M. Memon, em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 37, no. 1, 2011, pp. 48-64. bf (refereed) par itemlabelTSE2010 ``Generating Event Sequence-Based Test Cases Using GUI Run-Time State Feedback,'' Xun Yuanstudent and Atif M. Memon, em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 36, no. 1, 2010, pp. 81-95. bf (refereed) par item labelIST2010 ``Iterative execution-feedback model-directed GUI testing,'' Xun Yuanstudent and Atif M. Memon, em Journal of Information and Software Technology, Elsevier, vol. 52, no. 5, 2010, pp. 559-575. bf (refereed) par item labelTOSEM2008b ``Automatically repairing event sequence-based GUI test suites for regression testing,'' Atif M. Memon, em ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery Press, vol. 18, no. 2, article 4, 2008, pp. 1-36. bf (refereed) par item labelTOSEM2008 ``Using a Pilot Study to Derive a GUI Model for Automated Testing,'' Qing Xiestudent and Atif M. Memon, em ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery Press, vol. 18, no. 2, article 7, 2008, pp. 1-35. bf (refereed) par itemlabelTSE2008 ``Call Stack Coverage for GUI Test-Suite Reduction,'' Scott McMasterstudent and Atif M. Memon, em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 34, no. 1, 2008, pp. 99-115. bf (refereed) par item ``Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance,'' Adam Porter, Cemal Yilmaz, Atif M. Memon, Douglas C. Schmidt, and Bala Natarajan, em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 33, no. 8, 2007, pp. 510-525. bf (refereed) par item labelSTVR2007 ``An Event-Flow Model of GUI-Based Applications for Testing,'' Atif M. Memon, em Software Testing, Verification & Reliability, John Wiley & Sons, Inc., vol. 17, no. 3, 2007, pp. 137-157. bf (refereed) par item``Experimenting with software testbeds for evaluating new technologies,'' by Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif Memon, Marvin Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Chris Ackermann, Bettina Anders, Sima Asgari, Victor Basili, Lorin Hochstein, Jrg Fellmann, Forrest Shull, Roseanne Tvedt, Daniel Pech, and Daniel Hirschbach, em Empirical Software Engineering: An International Journal, vol. 12, no. 4, 2007, pp. 417-444, Kluwer Academic Publishers. bf (refereed) par item ``An Empirical Approach to Testing Web Applications Across Diverse Client Platform Configurations,'' Cyntrica Eatonstudent and Atif M. Memon, em International Journal on Web Engineering and Technology (IJWET), Special Issue on Empirical Studies in Web Engineering, Inderscience Publishers, vol. 3, no. 3, 2007, pp. 227-253. bf (refereed) par item ``Designing and Comparing Automated Test Oracles for GUI-based Software Applications,'' Qing Xiestudent and Atif M. Memon, em ACM Transactions on Software Engineering and Methodology, vol. 16, no. 1, 2007, ACM Press. bf (refereed) par item ``Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems,'' Cemal Yilmaz, Adam Porter, Arvind S. Krishna, Atif M. Memon, Douglas C. Schmidt, Aniruddha Gokhale, and Balachandran Natarajan, em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 33, no. 2, 2007, pp. 124-141. bf (refereed) par item ``Employing User Profiles to Test a New Version of a GUI Component in its Context of Use,'' Atif M. Memon, em Software Quality Journal, Springer Inc. vol. 14, no. 4, pp. 359-377, Dec. 2006. bf (refereed) par item ``Techniques and Processes for Improving the Quality and Performance of Open-Source Software,'' Cemal Yilmaz, Adam Porter, Atif M. Memon, Arvind S. Krishna, Douglas C. Schmidt, and Aniruddha Gokhale, em Software Process - Improvement and Practice Journal: Special Issue on Free/Open Source Software Processes, John Wiley & Sons, Inc., vol. 11, no. 6, pp. 163-176, May 2006. bf (refereed) par item ``Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software,'' Atif M. Memon and Qing Xiestudent , em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 31, no. 10, pp. 884-896, Oct. 2005. bf (refereed) par item ``An Evolutionary Testbed for Software Technology Evaluation,'' Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin Zelkowitz, Paolo Donzelli, Atif Memon, Victor Basili, Patricia Costa, Roseanne Tvedt, Lorin Hochstein, Sima Asgari, Chris Ackermann, Dan Pech, em Innovations in Systems and Software Engineering, Springer Inc., vol. 1, no. 1, pp. 3-11, Apr. 2005. bf (refereed) par item ``Preserving Distributed Systems Critical Properties: A Model-driven Approach,'' Cemal Yilmaz, Atif M. Memon, Adam Porter, Arvind S. Krishna, Douglas C. Schmidt, Aniruddha Gokhale, Balachandran Natarajan, em IEEE Software: Special Issue on Persistent Software Attributes, IEEE Computer Society Press, vol. 21, no. 6, pp. 32-40, Nov. 2004. bf (refereed) par item ``A Distributed Continuous Quality Assurance Process to Manage Variability in Performance-intensive Software,'' Arvind S. Krishna, Douglas C. Schmidt, Atif M. Memon, Adam Porter, Cemal Yilmaz, em Studia Informatica Universalis, Editions SUGER., vol. 4, no. 1, pp. 53-72, Jan. 2005. bf (refereed) par item ``Automated Regression Testing for Evolving GUI Software,'' Atif M. Memon, Adithya Nagarajanstudent , and Qing Xiestudent , em Journal of Software Maintenance and Evolution, John Wiley & Sons, Inc., vol. 17, no. 1, pp. 27-64, Jan. 2005. bf (refereed) par item labelCOMPUTER2002 ``GUI Testing: Pitfalls and Process,'' Atif M. Memon, em IEEE Computer, IEEE Computer Society Press, vol. 35, issue. 5, pp. 87-88, Aug. 2002. bf (refereed) par item ``Hierarchical GUI Test Case Generation Using Automated Planning,'' Atif M. Memon, Martha E. Pollack and Mary Lou Soffa, em IEEE Transactions on Software Engineering, IEEE Computer Society Press, vol. 27, no. 2, pp. 144-155, Feb. 2001. bf (refereed) par item ``SEROS - A Self-Routing Optical ATM Switch,'' Mohsen Guizani and Atif M. Memon, em International Journal of Communication Systems, John Wiley & Sons, Inc., vol. 9, no. 2, pp. 115-125, Mar. 1996. bf (refereed) par endenumerate par mysubsection Refereed Conference Proceedings labelconfs par beginenumerate par item ``Pushing the Limits on Automation in GUI Regression Testing,'' by Zebao Gao, Chunrong Fang, and Atif Memon, in it The Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), 2015. bf (refereed) par item ``Piecing Together App Behavior from Multiple Artifacts: A Case Study,'' by Emily Kowalczyk, Atif Memon, and Myra B. Cohen, in it The Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), 2015. bf (refereed) par item ``Which of My Failures are Real? Using Relevance Ranking to Raise True Failures to the Top,'' by Zebao Gaostudent and Atif Memon, in it The Proceedings of the Sixth International Workshop on Testing Techniques for Event BasED Software (TESTBEDS 2015), 2015. bf (refereed) par item ``Extending Manual GUI Testing Beyond Defects by Building Mental Models of Software Behavior,'' by Emily Kowalczyk and Atif Memon, in it The Proceedings of the Sixth International Workshop on Testing Techniques for Event BasED Software (TESTBEDS 2015), 2015. bf (refereed) par item ``Making System User Interactive Tests Repeatable: When and What Should we Control?'' by Zebao Gaostudent , Yalan Liang, Myra B. Cohen. Atif M. Memon, and Zhen Wang, in it The Proceedings of The 37th International Conference on Software Engineering (ICSE 2015), 2015. bf (refereed) par item ``Making GUI Testing Practical: Bridging the Gaps,'' by Pekka Aho, Matiaz Suarez, Atif Memon, and Teemu Kanstrén, in it The Proceedings of The International Conference on Information Technology - New Generations (ITNG 2015), 2015. bf (refereed) par item ``Exploiting the Saturation Effect in Automatic Random Testing of Android Applications,'' by Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Porfirio Tramontana, Emily Kowalczykstudent , and Atif Memon, in it The Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft 2015), 2015. bf (refereed) par item ``Definition and Evaluation of Mutation Operators for GUI-level Mutation Analysis,'' by Rafael A. P. Oliveira, Emil Alégroth, Zebao Gaostudent , and Atif Memon, in it The Proceedings of the 10th International Workshop on Mutation Analysis (Mutation 2015), 2015. bf (refereed) par item ``Conceptualization and Evaluation of Component-based Testing Unified with Visual GUI Testing: an Empirical Study,'' by Emil Alégroth, Zebao Gaostudent , Rafael A.P. Oliveira, and Atif Memon, in it The Proceedings of eighth edition of the IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), 2015. bf (refereed) par item ``Build It Break It: Measuring and Comparing Development Security,'' by Andrew Ruef, Michael Hicks, James Parker, Dave Levin, Atif Memon, Jan Plane, and Piotr Mardziel, in it The Proceedings of the 8th Workshop on Cyber Security Experimentation and Test (CSET ’15), August 10, 2015, Washington, D.C. bf (refereed) par item ``N-Gram Based User Behavioral Model for Continuous User Authentication,'' by Leslie Miltonstudent , Bryan Robbinsstudent , and Atif Memon, in it Proceedings of the Eighth International Conference on Emerging Security Information, Systems, and Technologies (SECURWARE 2014), 2014. bf (Best Paper Award) bf (refereed) par item ``Scalable System Environment Caching and Sharing for Distributed Virtual Machines,'' by Teng Long, Ilchul Yoon, Alan Sussman, Adam Porter, and Atif Memon, in it The Proceedings of the High-Performance Grid and Cloud Computing Workshop, 2014, IEEE Computer Society. bf (refereed) par item``Enabling Collaborative Testing Across Shared Software Components,'' by Teng Long, Ilchul Yoon, Atif Memon, Adam Porter, and Alan Sussman, in it The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2014. bf (refereed) par itemlabelCHI2014 ``Android Apps Consistency Scrutinized,'' by Khalid Alharbi, Sam Blackshear, Emily Kowalczyk, Atif Memon, Bor-Yuh Evan Chang, and Tom Yeh, in it ACM CHI Conference on Human Factors in Computing Systems, 2014. bf (refereed) par item``An Extensible Framework to Implement Test Oracle for Non-Testable Programs,'' by Rafael A.P. Oliveira, Atif Memon, Victor N. Gil, Fatima L.S. Nunes, and Marcio Delamaro, in it The 26th International Conference on Software Engineering and Knowledge Engineering, 2014. bf (refereed) par item ``Murphy Tools: Utilizing Extracted GUI Models for Industrial Software Testing,'' Pekka Aho, Matias Suarez, Teemu Kanstren and Atif Memon, 9th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART), Cleveland, Ohio, USA, 2014. bf (refereed) par item ``Combining Research and Education of Software Testing: A Preliminary Study,'' Zhenyu Chen, Atif Memon, and Bin Luo, 29th Symposium On Applied Computing (SAC), Gyeongju, Korea 2014. bf (refereed) par item ``A Pattern-Based Approach for GUI Modeling and Testing,'' by Rodrigo M. L. M. Moreira, Ana C. R. Paiva, and Atif Memon, in Proceedings of the 24th annual International Symposium on Software Reliability Engineering (ISSRE 2013), 2013. bf (refereed) par itemlabelBIMB2013 ``De novo likelihood-based measures for comparing metagenomic assemblies,'' by Christopher M Hill, Irina Astrovskaya, Howard Huang, Sergey Koren, Atif Memon, Todd J Treangen, Mihai Pop, in Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 94-98, IEEE, 2013. bf (refereed) par itemlabelWCRE2013 ``The First Decade of GUI Ripping: Extensions, Applications, and Broader Impacts,'' by Atif Memon, Ishan Banerjeestudent , Bao Nguyenstudent , and Bryan Robbinsstudent , In Proceedings of the 20th Working Conference on Reverse Engineering (WCRE), 2013. bf (refereed) par item ``Industrial Adoption of Automatically Extracted GUI Models for Testing,'' by Pekka Aho, Matias Suarez, Teemu Kanstren. and Atif Memon, in Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modelling, 2013. bf (refereed) par item ``Automated testing of GUI applications: models, tools, and controlling flakiness,'' by Atif M. Memon and Myra B. Cohen, it Proceedings of the 2013 International Conference on Software Engineering, 2013, pp. 1479-1480. bf (refereed) par item``Using GUI Ripping for Automated Testing of Android Applications,'' Domenico Amalfitano, Anna Rita Fasolino, Salvatore De Carmine, Atif Memon, and Porfirio Tramontana, em Proceedings of the 27th IEEE international conference on Automated software engineering (ASE-2012), 2012. bf (refereed) par item``Testing is an Event-Centric Activity,'' Fevzi Belli, Mutlu Beyazit, and Atif Memon, em Proceedings of the International Conference on Software Security and Reliability, 2012. bf (refereed) par itemlabelgreybox ``Lightweight Static Analysis for GUI Testing,'' Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schaf, Ishan Banerjee, and Atif Memon, em Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, (ISSRE-2012), 2012. bf (refereed) par itemlabelAutoInSpec ``AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs,'' Myra Cohen, Si Huang, and Atif Memon, em Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, (ISSRE-2012), 2012. bf (refereed) par item``Overlap and Synergy in Testing Software Components Across Loosely-Coupled Communities,'' Teng Long, Ilchul Yoon, Adam Porter, Alan Sussman, and Atif Memon, em Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, (ISSRE-2012), 2012. bf (refereed) par item``Towards Incremental Component Compatibility Testing,'' Il-Chul Yoon, Alan Sussman, Atif Memon, Adam Porter, em Proceedings of the 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011), (Boulder, Colorado), June 21, 2011. bf (refereed) par item ``Using Methods and Measures from Network Analysis for GUI Testing,'' Ethar Elsakastudent , Walaa Eldin Moustafa, Bao Nguyen, and Atif M. Memon, it Proceedings of the International Workshop on TESTing Techniques and Experimentation Benchmarks for Event-Driven Software (TESTBEDS 2010), (Paris, France), 2010. bf (refereed) par item ``Repairing GUI Test Suites Using a Genetic Algorithm,'' Si Huang, Myra Cohen, and Atif M. Memon, it Proceedings of the 3rd IEEE International Conference on Software Testing, Verification and Validation (ICST 2010), (Paris, France), 2010. bf (refereed) par item ``Community-Based, Collaborative Testing and Analysis,'' Atif Memon, Adam Porter, and Alan Sussman, it Proceedings of the Workshop on the Future of Software Engineering (FSE/SDP 2010), (Santa Fe, New Mexico, USA), 2010. bf (refereed) par item``Repairing GUI Test Suites Using a Genetic Algorithm,'' Si Huang, Myra Cohen, and Atif M. Memon, em Proceedings of the 3rd IEEE International Conference on Software Testing, Verification and Validation, (Paris, France), Sep. 20-26, 2009. bf (refereed) par item``Introducing a Test Suite Similarity Metric for Event Sequence-Based Test Cases,'' Penelope Brooks,student and Atif M. Memon, em Proceedings of the 23rd IEEE International Conference on Software Maintenance, (Alberta, Canada), Sep. 20-26, 2009. bf (refereed) par item``Prioritizing Component Compatibility Tests via User Preferences,'' Il-Chul Yoon, Alan Sussman, Atif M. Memon, and Adam Porter, em Proceedings of the 23rd IEEE International Conference on Software Maintenance, (Alberta, Canada), Sep. 20-26, 2009. bf (refereed) par item``An Extensible Heuristic-Based Framework for GUI Test Case Maintenance,'' Scott McMasterstudent and Atif M. Memon, em TESTBEDS'09: Proceedings of the First International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software, Denver, Colorado, April 4, 2009. bf (refereed) par item``Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces,'' Xun Yuan,student Myra Cohen, and Atif M. Memon, em TESTBEDS'09: Proceedings of the First International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software, Denver, Colorado, April 4, 2009. bf (refereed) par item``An Initial Characterization of Industrial Graphical User Interface Systems,'' Penelope Brooks,student Brian Robinson and Atif M. Memon, em Proceedings of the 2nd IEEE International Conference on Software Testing, Verification and Validation, (ICST '09), Denver, Colorado, April 1-4, 2009. bf (refereed) par item`` Alternating GUI Test Generation and Execution,'' Xun Yuanstudent and Atif M. Memon, em Proceedings of the IEEE Testing: Academic and Industrial Conference (TAIC PART '08), Cumberland Lodge, Windsor, UK, August 29-31, 2008. bf (refereed) par item``Effective and Scalable Software Compatibility Testing,'' Il-Chul Yoon, Alan Sussman, Atif M. Memon, and Adam Porter, em Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'08), Seattle, WA, July 20-24 2008. bf (refereed) par itemlabelICSE08 ``Test Case Generator for GUITAR,'' Daniel Hacknerstudent and Atif M. Memon, em Research Demonstration Track paper at the 30th International Conference on Software Engineering, (ICSE'08), Leipzig, Germany, May 2008 bf (refereed) par item ``Relationships Between Test Suites, Faults, and Fault Detection in GUI Testing,'' Jaymie Streckerstudent and Atif M. Memon, em Proceedings of the First international conference on Software Testing, Verification, and Validation (ICST'08), Lillehammer, Norway, 2008 bf (refereed) par item ``Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction,'' Scott McMasterstudent and Atif M. Memon, em Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'07), (Paris, France), 2007. bf (refereed) par item ``Direct-Dependency-based Software Compatibility Testing,'' Il-Chul Yoon, Alan Sussman, Atif M. Memon, and Adam Porter, em Proceedings of the 22nd IEEE international conference on Automated software engineering, (Washington, DC, USA), 2007. bf (refereed) par item ``Covering Array Sampling of Input Event Sequences for Automated GUI Testing,'' Xun Yuan,student Myra Cohen, and Atif M. Memon, em Proceedings of the 22nd IEEE international conference on Automated software engineering, (Washington, DC, USA), 2007. bf (refereed) par item ``Automated GUI Testing Guided by Usage Profiles,'' Penelope Brooksstudent and Atif M. Memon, em Proceedings of the 22nd IEEE international conference on Automated software engineering, (Washington, DC, USA), 2007. bf (refereed) par item ``Test Suite Prioritization by Interaction Coverage,'' Renee C. Bryce and Atif M. Memon, em Proceedings of The Workshop on Domain-Specific Approaches to Software Test Automation (DoSTA 2007); co-located with The 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Dubrovnik, Croatia), Sep. 2007. bf (refereed) par item ``Faults' Context Matters,'' Jaymie Streckerstudent and Atif M. Memon, em Proceedings of The Fourth International Workshop on Software Quality Assurance (SOQUA '07); co-located with The 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Dubrovnik, Croatia), Sep. 2007. bf (refereed) par itemlabelICSE07 ``Using GUI Run-Time State as Feedback to Generate Test Cases,'' Xun Yuanstudent and Atif M. Memon, it Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 23-25, 2007, pp. 396-405. bf (refereed) par item ``Call Stack Coverage for GUI Test-Suite Reduction,'' Scott McMasterstudent and Atif M. Memon, it Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, pp. 33-44,Nov. 6-10 2006. bf (refereed) par item ``Studying the Characteristics of a `Good' GUI Test Suite,'' Qing Xiestudent and Atif M. Memon, it Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, pp. 159-168, Nov. 6-10 2006. bf (refereed) par item ``Automated Model-based Testing of Community-Driven Open Source GUI Applications,'' Qing Xiestudent and Atif M. Memon, it Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), Philadelphia, PA, USA, pp. 145-154, Sep. 24-27, 2006. bf (refereed) par item ``Rapid `Crash Testing' for Continuously Evolving GUI-Based Software Applications,'' Qing Xiestudent and Atif M. Memon, it Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), Budapest, Hungary, pp. 539-548, Sep. 25-30, 2005. bf (refereed) par item ``Call Stack Coverage for Test Suite Reduction,'' Scott McMasterstudent and Atif M. Memon, it Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), Budapest, Hungary, pp. 473-482, Sep. 25-30, 2005. bf (refereed) par item ``Main Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems,'' Cemal Yilmaz, Arvind Krishna, Atif M. Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale, and Bala Natarajan, it Proceedings of the 27th ACM/IEEE International Conference on Software Engineering (ICSE 2005), St. Louis, MO, USA, pp. 293-302, May 15-21, 2005. bf (refereed) par item ``Evaluating Web Page Reliability across Varied Browsing Environments,'' Cyntrica Eatonstudent and Atif M. Memon, em Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), Saint-Malo, Bretagne, France, Nov. 2-5, 2004. bf (refereed) par item ``Developing Testing Techniques for Event-Driven Pervasive Computing Applications,'' Atif M. Memon, it OOPSLA 2004 workshop on Building Software for Pervasive Computing (BSPC 2004), Vancouver, BC, Canada, Oct. 25, 2004. bf (refereed) par item ``A Distributed Continuous Quality Assurance Process to Manage Variability in Performance-intensive Software,'' Arvind S. Krishna, Cemal Yilmaz, Atif M. Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale, Balachandran Natarajan, it Component And Middleware Performance, OOPSLA 2004 Workshop, Vancouver Convention & Exhibition Centre, Vancouver, British Columbia, Canada, Oct. 25, 2004. bf (refereed) par item ``Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-driven Software,'' Atif M. Memon and Qing Xiestudent , em Proceedings of the 19th IEEE International Conference on Automated Software Engineering 2004 (ASE 2004), Linz, Austria, pp. 186-195, Sep. 20-24, 2004. it Acceptance rate: 14%. bf (refereed) par item ``Empirical Evaluation of the Fault-detection Effectiveness of Smoke Regression Test Cases for GUI-based Software,'' Atif M. Memon and Qing Xiestudent , em Proceedings of the 20th IEEE International Conference on Software Maintenance 2004 (ICSM 2004), Chicago, IL, USA, pp. 8-17, Sep. 11-17, 2004. bf (refereed) par item ``Improving Browsing Environment Compliance Evaluations for Websites,'' Cyntrica Eatonstudent and Atif M. Memon, it International Workshop on Web Quality (WQ 2004), July 27, 2004, Munich, Germany. bf (refereed) par item ``Model-Driven Quality Assurance Techniques for Distributed Real-time and Embedded Systems,'' Emre Turkay, Arvind S. Krishna, Aniruddha Gokhale, Douglas Schmidt, Bala Natarajan, Adam Porter, Cemal Yilmaz, Atif M. Memon, it OMG Real-Time & Embedded Systems Workshop, July 12-15, 2004, Hyatt Regency Reston, Reston, VA, USA. bf (refereed) par item ``Improving Software Quality and Performance using Model-integrated Distributed Continuous Quality Assurance,'' A. S. Krishna, Douglas C. Schmidt, Atif M. Memon, Adam Porter, D. Sevilla, em Proceedings of the 8th International Conference on Software Reuse (ICSR 2004), Madrid, Spain, July 5-9 2004. bf (refereed) par item ``A Model-based Distributed Continuous Quality Assurance Process to Enhance the Quality of Service of Evolving Performance-intensive Software Systems,'' Cemal Yilmaz, Arvind S. Krishna, Atif M. Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale and Balachandran Natarajan, em Remote Analysis and Measurement of Software Systems (RAMSS 2004), Edinburgh, Scotland, UK, May 2004. bf (refereed) par item ``Distributed Continuous Quality Assurance: Leveraging User Resources to Improve Software Quality Around-the-World, Around-the-Clock,'' Atif M. Memon, Adam Porter, Cemal Yilmaz, and Adithya Nagarajanstudent , Douglas C. Schmidt and Bala Natarajan, em Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE 2004), Edinburgh, Scotland, pp. 459-468, May 2004. bf (refereed) par item ``ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation,'' Arunchandar Vasanstudent and Atif M. Memon, em Proceedings (published by the IEEE Computer Society Press) of the Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, pp. 241-250, Apr. 13-16, 2004. bf Best paper award. bf (refereed) par item ``Using Tasks to Automate Regression Testing of GUIs,'' Atif M. Memon, em Proceedings of the IASTED International Conference on ARTIFICIAL INTELLIGENCE AND APPLICATIONS (AIA 2004), Innsbruck, Austria, pp. 52-155, Feb. 16-18, 2004. bf (refereed) par item ``Refactoring Using Event-Based Profiling,'' Adithya Nagarajanstudent and Atif M. Memon, it The First International Workshop on REFactoring: Achievements, Challenges, Effects (REFACE), November 13, 2003, British Colombia, Canada. bf (refereed) par item ``GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing,'' Atif M. Memon, Ishan Banerjeestudent , and Adithya Nagarajanstudent , em Proceedings of the IEEE 10th Working Conference on Reverse Engineering (WCRE 2003), Victoria, British Columbia, Canada, pp. 260-269, Nov. 13-16 2003. bf (refereed) par item ``Feedback-driven Design of Distributed Real-time & Embedded Component Middleware Via Model-Integrated Computing & Distributed Continuous Quality Assurance,'' Atif M. Memon, Adam Porter and Doug Scmidt, it Science of Design: Software-Intensive Systems, A National Science Foundation Invitational Workshop, November 2-4, 2003, Airlie Center, VA, USA. bf (refereed) par item ``What Test Oracle Should I use for Effective GUI Testing?'' Atif M. Memon, Ishan Banerjeestudent , and Adithya Nagarajanstudent , em Proceedings of the IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Quebec, Canada, pp. 164-173, Oct. 6-10 2003. bf (refereed) par item ``Regression Testing of GUIs,'' Atif M. Memon and Mary Lou Soffa, em Proceedings of the 9th ACM/IEEE European Software Engineering Conference (ESEC) and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, pp. 118-127, Sep. 1-5, 2003. bf (refereed) par item ``DART: A Framework for Regression Testing Nightly/Daily Builds of GUI Applications,'' Atif M. Memon, Ishan Banerjeestudent , Nada Hashmistudent and Adithya Nagarajanstudent , em Proceedings of the IEEE International Conference on Software Maintenance 2003 (ICSM 2003), Amsterdam, The Netherlands, Sep. 22-26, 2003, pp. 410-419. bf (refereed) par item ``Automatically Testing Nightly/Daily Builds of GUI Applications,'' Atif M. Memon, Ishan Banerjeestudent , Nada Hashmistudent and Adithya Nagarajanstudent , em Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN 2003), San Francisco, CA, USA, June 22-25, 2003, pp. B-8-B-9. bf (refereed) par item ``Coverage Criteria for GUI Testing,'' Atif M. Memon, Mary Lou Soffa and Martha E. Pollack, em Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), Vienna University of Technology, Austria, Sep. 10-14, 2001, pp. 256-267. bf (refereed) par item ``Survivability Performance Evaluation of an Optical Switch,'' M. Guizani and Atif M. Memon, em Proceedings of the IEEE Global Telecommunications Conference, 2000. (GLOBECOM 2000), San Francisco, CA, USA, Nov. 27-Dec. 1, 2000, pp. 1192-1195. bf (refereed) par item ``Automated Test Oracles for GUIs,'' Atif M. Memon, Martha E. Pollack and Mary Lou Soffa, em Proceedings of the ACM/IEEE Eighth International Symposium on the Foundations of Software Engineering (FSE-8), San Diego, CA, USA, Nov. 6-10, 2000, pp. 30-39. bf (refereed) par item ``A Planning-Based Approach to GUI Testing,'' Atif M. Memon, Martha E. Pollack and Mary Lou Soffa, em Proceedings of the 13th International Software/Internet Quality Week (QW 2000), San Francisco, CA, USA, May 30-June 2, 2000. bf (refereed) par item ``Plan Generation for GUI Testing,'' Atif M. Memon, Martha E. Pollack and Mary Lou Soffa, em Proceedings of the Fifth AAAI International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2000), Breckenridge, CO, USA, Apr. 15-17, 2000, pp. 226-235. bf (refereed) par item ``Using a Goal-driven Approach to Generate Test Cases for GUIs,'' Atif M. Memon, Martha E. Pollack and Mary Lou Soffa, em Proceedings of the 21st ACM/IEEE International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, USA, May 16-22, 1999, pp. 257-266. bf (refereed) par item ``Throughput Analysis of a Fault-Tolerant Switch,'' Atif M. Memon, M. Guizani, and M. Benten, em Proceedings of the 15th IEEE International Phoenix Conference on Computers and Communications (IPCCC 1996), Phoenix, AZ, USA, Mar. 27-29, 1996, pp. 206-210. bf (refereed) par item ``Optical Design of a Fault-Tolerant Self-Routing Switch for Massively Parallel Processing Networks,'' M. Guizani, Atif M. Memon, and S. Ghanta, em Proceedings of the IEEE Second International Conference on Massively Parallel Processing using Optical Interconnections (ICMPP 1995), San Antonio, TX, USA, Oct. 22-24, 1995, pp. 246-253. bf (refereed) par item ``An Optical Architecture for Edge Detection,'' Atif M. Memon, S. Ghanta, and M. Guizani, em Proceedings of the Seventh IASTED International Conference on Parallel and Distributed Computing and Systems, Georgetown University, Washington D.C., USA, Oct. 18-21, 1995, pp. 459-462. bf (refereed) par item ``Design and Implementation Tools for Optical Architectures,'' Atif M. Memon, M. Guizani, and S. Ghanta, em Proceedings of the Fourth Saudi Engineering Conference, Jeddah, Saudi Arabia, Nov. 5-8, 1995, pp. 437-442. bf (refereed) par item ``A Functional Approach for Simulation of Optical Architectures,'' Atif M. Memon, M. Guizani, and S. Ghanta, em Proceedings of the First LAAS International Conference on Computer Simulation, Beirut, Lebanon, Sep 1-4, 1995, pp. 175-181. bf (refereed) par item ``Thinning of Arabic Text,'' Atif M. Memon and S. Faizullah, em Proceedings of the 9th International Symposium on Computer and Information Sciences (ISCIS IX), Antalya, Turkey, Nov, 1994, pp. 689-696. bf (refereed) par item ``ZERAK : A Neural Network Model for Arabic Characters Recognition,'' S. Faizullah and Atif M. Memon, em Proceedings of the 9th International Symposium on Computer and Information Sciences (ISCIS IX), Antalya, Turkey, Nov, 1994, pp. 501-507. bf (refereed) par endenumerate par mysubsection Conferences, Workshops, and Talks par subsubsectionKeynote Speeches beginenumerate item ``Acknowledging the Elephant in the Room: Brittle Test Cases,'' Keynote address at Regression 2012, Montreal, April 17, 2012. endenumerate par subsubsectionInvited Talks beginitemize par item Model-Based Dynamic Analysis: Pushing the Envelope on Automated Software Quality Assurance, Google, Mountain View, CA, 2015. par item Model-Based Dynamic Analysis: Pushing the Envelope on Automated Software Quality Assurance, Yahoo Labs, Palo Alto, CA, 2015. par item Situation-Driven Testing, IEEE International Conference on Software Testing, Verification and Validation (ICST 2015 - Grand Challenge Panel). par item Model-Based Dynamic Analysis: Pushing the Envelope on Automated Software Quality Assurance, Electrical and Computer Engineering Department at the University of Miami, 2015. par itemThe First Decade of GUI Ripping: Extensions, Applications, and Broader Impacts, Department of Computer Science, Stanford University, 2014. par item Implementing Continuous Integration and Testing Issues, Challenges and Solutions, McGraw Hill Financial Services, 2014. par itemThe First Decade of GUI Ripping: Extensions, Applications, and Broader Impacts, Department of Computer Science, Virginia Tech, 2014. par itemThe First Decade of GUI Ripping: Extensions, Applications, and Broader Impacts, Department of Computer Science, Groupon, Inc., 2014. par itemThe First Decade of GUI Ripping: Extensions, Applications, and Broader Impacts, Department of Computer Science, University of Miami, 2014. par itemThe First Decade of GUI Ripping: Extensions, Applications, and Broader Impacts, as part of receiving the ``retrospective'' award for the most influential paper among the papers of 2003 Working Conference on Reverse Engineering, Kublenz, Germany, 2013. par itemGUITAR: Kick-starting model-based test automation for User Interactive Event Driven Software, VMware Inc., Palo Alto, CA, USA, May 22, 2013. par itemAutomated Testing of GUI Applications: Models, Tools, and Controlling Flakiness, Apple Inc., Cupertino, CA, USA, May 21, 2013. par itemCOMET: A Web Infrastructure for Research and Experimentation in User Interactive Event Driven Testing, Software Institute, Nanjing University, Nanjing, Dec. 20, 2012. par itemCOMET: A Web Infrastructure for Research and Experimentation in User Interactive Event Driven Testing, National Institute of Advanced Industrial Science and Technology (AIST), Dec. 17, 2012. par itemCOMET: A Web Infrastructure for Research and Experimentation in User Interactive Event Driven Testing, Department of Informatics Engineering Faculty of Engineering University of Porto, Dec. 13, 2012. par itemWhich Test Oracle Should I Use for Effective GUI Testing?, The 20th CREST Open Workshop entitled ``The Oracle Problem for Automated Software Testing'', May 22, 2012. par item Acknowledging the Elephant in the Room: Brittle Test Cases, keynote address at Regression 2012, Montreal, April 17, 2012. par item Adaptive Test-Case Generation for Event-Driven Software Applications, University of Lugano, Switzerland, Sep. 30, 2011. par item Adaptive Test-Case Generation for Event-Driven Software Applications, IBM Thomas J. Watson Research Center, Nov. 9, 2009. par item Automated Model-Based Testing of Event-driven Software Applications, Tata Consultancy Services, (TCS), Channai, India, Dec. 16, 2009. par item Automated Model-Based Testing of Event-driven Software Applications, Tata Research Development and Design Centre (TRDDC), Pune, India, Nov. 6, 2009. par item Automated Model-Based Testing of Event-driven Software Applications, Institute of Software, Chinese Academy of Sciences (ISCAS), China, Sep. 24, 2008. par item Software Quality and GUITAR, Sichuan University in Chengdu, China, Sep. 11, 2008. par item Automated Model-Based Testing of Event-driven Software Applications, Sichuan University in Chengdu, China, Sep. 11, 2008. par item Automated Model-Based Testing of Event-driven Software Applications, IEEE Computer Society of Pakistan, June 24, 2008. par item National University of Emerging and Computing Sciences, ``New Trends in Software Testing,'' June 21, 2008. par item Information Technology Laboratory (ITL) seminar on "Testing Event-Driven Systems" at the National Institute of Standards & Technology, Mar. 5, 2008. par item Google Test Automation Conference, Aug. 23-24, 2007. par item Automated Model-Based Testing of Event-driven Software Applications, Accenture Technology Labs, Chicago, May 11, 2007. par item Testing Event-driven Software Applications - Issues, Challenges, and Solutions, IEEE Computer Society - Kitchener-Waterloo Chapter and the Department of Electrical and Computer Engineering, University of Waterloo, Mar. 17, 2006. par item Testing Event-driven Software, Department of Computer Science, Drexel University, Feb. 11, 2005. par item Enhancing Testing Techniques for Event-driven Software Applications, 2004 University of Washington and Microsoft Research Summer Institute, Trends in Testing: Theory, Techniques and Tools, Aug. 22-26, 2004. par item Event-driven Software Testing, NASA Goddard Space Flight Center (GSFC), in the Technology Education & Assessment Seminars (TEAS) series, July 13, 2004. par item Techniques and Tools for Testing Event-Driven Software, TECH 2004, Mar. 19, 2004. par item Testing Event-driven Software, Microsoft Research, Mar. 12, 2004. par item Testing Event-driven Software, Reliability Engineering Department, University of Maryland, Mar. 4, 2004. par item Testing Event-driven Software, Department of Information and Software Engineering, George Mason University, Mar. 3, 2004. par item Testing Event-driven Software, Fraunhofer IESE, Kaiserslautern, Germany, Feb. 19, 2004. par item Software Quality and GUITAR, National Institutes of Health, Dec. 1, 2003. par item Event-based Software Testing, Avaya Labs Research, June 12, 2003. par itemEvent-based Software Testing, Titan Corporation, May 14, 2003. par item Testing Graphical User Interface Software, NASA Goddard Tech Summit, Apr. 23, 2002. par item A Comprehensive Framework for Testing Graphical User Interfaces, National Institute of Standards and Technology (NIST), Gaithersburg, Maryland, Jan. 8, 2002. par item A Comprehensive Framework for Testing Graphical User Interfaces, IBM Thomas J. Watson Research Center, Jan. 22, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Department of Computer and Information Science, Ohio State University, Feb. 8, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Department of Computer and Information Sciences, University of Delaware, Feb. 20, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Lucent Technologies, Columbus, Feb. 23, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Department of Computer Science, University of Maryland, Feb. 28, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Department of Computer Science and Engineering, Pennsylvania State University, Mar. 20, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Department of Electrical and Computer Engineering, University of Texas at Austin, Mar. 27, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, College of Computing, Georgia Institute of Technology, Apr. 2, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Department of Information and Computer Science, University of California, Irvine, Apr. 9, 2001. par item A Comprehensive Framework for Testing Graphical User Interfaces, Department of Computer Science, University of Southern California, Los Angeles, Apr. 10, 2001. par item Coverage Criteria for GUI Testing, Fraunhofer Center for Experimental Software Engineering, College Park, Maryland, Sep. 17, 2001. par enditemize par student Indicates a student advised, co-advised, or directly supervised by Dr. Memon. par subsubsectionRefereed Posters par beginitemize par item Capture/Replay Tool For Testing GUIs, Research Review Day, University of Maryland, Mar. 21, 2003. par item GUITAR - Graphical User Interface Testing Framework, Research Review Day, University of Maryland, Mar. 21, 2003. par item DART: Daily Automated Regression Tester, Research Review Day, University of Maryland, Mar. 21, 2003. par item GUI Ripper: A Tool to Extract GUI Widgets and Windows, Research Review Day, University of Maryland, Mar. 21, 2003. par item Structural Representations of GUI Events for Testing and Analysis, Research Review Day, University of Maryland, Mar. 1, 2002. par item A Planning-Based Approach to Testing GUIs, Research Review Day, University of Maryland, Mar. 1, 2002. par item Automated Test Oracles for GUIs, Research Review Day, University of Maryland, Mar. 1, 2002. par item Determining the Adequacy of GUI Test Cases, Research Review Day, University of Maryland, Mar. 1, 2002. par item A comprehensive framework for GUI testing, Research Review Day, University of Pittsburgh, Dec. 15, 2000. par enditemize par mysubsection Professional Publications par beginenumerate par item ``A Comprehensive Framework for Testing Graphical User Interfaces,'' Atif M. Memon, em Ph.D. Dissertation, Department of Computer Science, University of Pittsburgh, July, 2001. par item ``Comparing Causal-Link and Propositional Planners: Tradeoffs between Plan Length and Domain Size,'' Atif M. Memon, Martha E. Pollack and Mary Lou Soffa, em Technical Report TR-99-06, Dept. of Computer Science, University of Pittsburgh, Pittsburgh, Feb. 1999. par item ``A System for Prototyping Optical Architectures,'' Atif M. Memon, em A Thesis Presented to the Faculty of College of Graduate Studies, Department of Information and Computer Science, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia, Dec. 20, 1995. par item ``Mathematica: for Engineers, Scientists, and Educators ,'' Atif M. Memon and S. Ghanta, em Newsletter of the Information Technology Center, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia, 1994. par endenumerate mysubsection Completed Creative Works par subsubsectionSoftware and Applications par beginitemize par item bf GUITAR: Software testing is a critical component of the software development process and is required to ensure the safety, robustness and usability of software. Unfortunately, it is also complex, labor intensive and expensive, accounting for almost 67% of the total cost of software development. Hence, there has been significant research aimed at automating the testing process. Although automation has achieved some success, many problems remain. In particular, it is not yet clear how to automate the testing of graphical user interfaces (GUIs), which constitute an increasingly large portion of software systems (almost 50% of the total software code). The focus of my research is automated model-based testing of event-driven software; GUIs constitute one of the most popular sub-class of event-driven software. Most of the new techniques that I have developed for GUI testing have been implemented in a downloadable software called GUITAR. par GUITAR has been downloaded by over 25000 users from all over the world, mostly from software development companies. Some of the features that make GUITAR usable are a help menu, a bug database powered by Bugzilla, user manuals, and FAQs. I have given seminars on GUITAR at numerous locations including NASA Goddard Space Flight Center (tt aaaprod.gsfc.nasa.gov/teas), Microsoft Research (tt research.microsoft.com), The National Institutes of Health (tt www.nih.gov), Fraunhofer Center for Experimental Software Engineering (tt fc-md.umd.edu), The Titan Corporation (tt www.titan.com), Avaya Labs Research (tt www.avaya.com), and Hughes Network Systems (tt www.hns.com). It was recently exhibited at CeBIT (tt www.cebit-america.com), a huge marketplace for software vendors and exhibitors. par Users of GUITAR regularly report bugs via a bug database, maintained at tt bugs.cs.umd.edu. The GUITAR web-site serves as a discussion group; users are constantly informed of updates via a mailing list. Numerous practitioners have provided short-cuts to the GUITAR web-site through their own sites. Two popular examples include bf Software QA Testing and Test Tool Resources (www.aptest.com/resources.html) and bf DACS - Data & Analysis Center for Software - DACS - Software (www.dacs.dtic.mil/databases/url/key.php?keycode=3494:3500). par item bf ICE: In order to preserve the effectiveness of the World Wide Web (WWW) as a communication medium, web developers must have a keen understanding of how pages within their website are rendered to the diversely equipped Web audience. More specifically, since users explore the WWW with a wide variety of browser, browser version, and platform configurations, the display of individual web pages can be significantly different based on the actual browsing environment. Such differences can essentially threaten the ability for pages to be displayed and to function as the author intended resulting in documents with missing elements, improper text alignments, and malfunctioning scripts. par Given that web page rendering is largely based on the tags that are contained within the HTML source code for the document and the relative support for a tag within a browsing environment, our approach to identifying page-to-browser compliancy issues is to scan the document source for the presence of tags known to be unsupported within specific browser/version/platform environments. As a result of our work, we have created a tool, the Internet Compliance Evaluator (ICE), that will evaluate compliancy for an entire website based on both predefined and, when necessary, user-specified sets of rules that specify the tags that are unsupported within specific environments. The ability of the tool to accept user-defined rules allows it to be much more flexible than current page-browser compliancy tools and, subsequently, more equipped to deal with newer compliancy rules as they evolve. par item bf TerpOffice: One of the biggest problems with software testing research is the unavailability of standard ``benchmarks'' for experimentation and evaluation of new testing techniques. To alleviate this problem, I have developed an OpenSource office suite software called TerpOffice for evaluation of new GUI testing techniques. TerpOffice is being used by numerous researchers for their experiments. For example, Amir Michail and Tao Xie recently used TerpOffice for their experiments reported in a paper entitled ``Helping Users Avoid Bugs in GUI Applications,'' published in the Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, USA, pp. 107-116, May 2005. par To enable maximum dissemination, extra meta and derived information is also maintained as shared artifacts. These shared artifacts have evolved as demanded by researchers. For example, some researchers wanted to use only the source code; other more advanced researchers, wanted to have access to the software's requirement and design documents to make changes to it; yet others wanted to replicate experiments by using my fault-seeded versions of the software subjects. Consequently, I have made available requirements and design documents, source code, documents describing what the software does, how to use and modify it, development and evolution artifacts such as bug reports, results of experiments, derived artifacts such as event-flow graphs, test cases and tools such as test-case re-players, and fault-seeded versions of the code. par item bf OpticalCAD is a system that I developed during my MS Thesis for prototyping optical architectures. Users of OpticalCAD can describe an optical architecture setup involving optical components (such as lenses, holograms, mirrors, lasers) in an Optical Hardware Description Language (OHDL) that I developed. OpticalCAD carries out discrete event simulation of the optical architecture and reports problems (such as stray laser beams) and output. par enditemize par mysubsection Sponsored Research subsubsectionGrants par beginitemize par item bf TITLE: ``Vetting Android Applications for Security Using Graphical User Interface Logic''
bf RECEIPIENT INSTITUTION: em UMIACS
bf FUNDING AGENCY: em US Defense Advanced Research Projects Agency (DARPA)
bf AMOUNT: $733,734
bf DATES: Aug. 1, 2013 - Dec. 31, 2015
bf ROLE: PI. par item bf TITLE: ``EDU: Competing to Build Secure Systems''
bf RECEIPIENT INSTITUTION: em Computer Science Department
bf FUNDING AGENCY: em National Science Foundation
bf AMOUNT: $300,000
bf DATES: Sep. 1, 2013 - Aug 31, 2015
bf ROLE: co-PI. par item bf TITLE: ``Research in Science and Public Policy for the U.S. National Security Agency''
bf RECEIPIENT INSTITUTION: em Physics Department
bf FUNDING AGENCY: em National Security Agency
bf AMOUNT: $100,000
bf DATES: July 15, 2013
bf ROLE: co-Instructor. par item bf TITLE: ``Algorithms and Software for the Assembly of Metagenomic Data''
bf RECEIPIENT INSTITUTION: em UMIACS
bf FUNDING AGENCY: em National Institutes of Health
bf AMOUNT: $1,675,112
bf DATES: Mar. 21, 2013 - Feb. 28, 2017
bf ROLE: co-Principal Investigator. par item bf TITLE: ``II-NEW: Collaborative Research: COMET: A Web Infrastructure for Research and Experimentation in User Interactive Event Driven Testing ''
bf RECEIPIENT INSTITUTION: em CS Department
bf FUNDING AGENCY: em National Science Foundation
bf AMOUNT: $367,896
bf DATES: August 1, 2012 - July 31, 2015
bf ROLE: Principal Investigator. par item bf TITLE: `` II-NEW: Collaborative Research: COMET-COMmunity Event-based Testing''
bf RECEIPIENT INSTITUTION: em CS Department
bf FUNDING AGENCY: em National Science Foundation
bf AMOUNT: $100,000
bf DATES: August 8, 2009 - July 31, 2012
bf ROLE: Principal Investigator. par item bf TITLE: ``Evaluating the Software Engineering Process at OIT''
bf RECEIPIENT INSTITUTION: em MINDLAB-UMIACS
bf FUNDING AGENCY: em Office of Information Technology
bf AMOUNT: $25,000
bf DATES: June 1, 2005
bf ROLE: PI. par item bf TITLE: `` A Testbed for Assuring the Quality of DoD Combat''
bf RECEIPIENT INSTITUTION: em CS Department
bf FUNDING AGENCY: em DOD - Navy.ONR
bf AMOUNT: $206,000
bf DATES: May 1, 2005 (1 year)
bf ROLE: Co-PI with Adam Porter. par item bf TITLE: ``CAREER AWARD: Enhancing Testing Techniques for Event-driven Software''
bf RECEIPIENT INSTITUTION: em CS Department
bf FUNDING AGENCY: em National Science Foundation
bf AMOUNT: $400,000
bf DATES: Feb. 15, 2005 - July 31, 2011
bf ROLE: Principal Investigator. par item bf TITLE: ``One-day Workshop on Introduction to Software Testing''
bf RECEIPIENT INSTITUTION: em UMIACS
bf FUNDING AGENCY: em Hughes Network Systems
bf AMOUNT: $10,000
bf DATES: June 20, 2003
bf ROLE: Instructor. par item bf TITLE: ``A GUI Testing Framework in Agile Software Development Methods''
bf RECEIPIENT INSTITUTION: em Fraunhofer Center for Experimental Software Engineering
bf FUNDING AGENCY: em Fraunhofer USA, Inc and Fraunhofer Center for Experimental Software Engineering
bf AMOUNT: $80,562 (Fraunhofer USA, Inc) plus $21,450 (Fraunhofer Center for Experimental Software Engineering)
bf DATES: May 1, 2002 - Apr. 30, 2003
bf ROLE: Scientist. par enditemize par sectionTeaching, Mentoring, and Advising par mysubsection Courses Taught par begintabularllrp3in Semester & Course & # Students & Description
hline Fall, 2014 & CMSC 436 & 60 & Programming Handheld Systems
Fall, 2014 & CMSC 396H & 21 & Honors Seminar
Fall, 2014 & CMSC 737 & 14 & Fundamentals of Software Testing
Fall, 2014 & HONR 378N & 11 & Advanced Honors Seminar; Research in Science and Public Policy for the U.S. National Security Agency
Spring, 2014 & BUDT 758L & 22 & Special Topics in Decision, Operations and Information Technologies; Mobile App Development
Spring, 2014 & ENPM 808B & 8 & Advanced Topics in Engineering; Secure Operating Systems
Spring, 2014 & CMSC 435 & 40 & Software Engineering
Fall, 2013 & ENPM 808K & 8 & Advanced Topics in Engineering; Secure Software Testing and Construction
Fall, 2013 & HONR 378N & 11 & Advanced Honors Seminar; Research in Science and Public Policy for the U.S. National Security Agency
Fall, 2013 & CMSC 737 & 20 & Fundamentals of Software Testing
Fall, 2013 & CMSC 396H & 23 & Honors Seminar
Summer, 2013 & CMSC 435 & 24 & Software Engineering
Spring, 2013 & CMSC 436 & 50 & Programming Handheld Systems
Spring, 2013 & CMSC 435 & 40 & Software Engineering
Fall, 2012 & CMSC 737 & 7 & Fundamentals of Software Testing
Spring, 2012 & CMSC 435 & 48 & Software Engineering
Fall, 2011 & CMSC 737 & 19 & Fundamentals of Software Testing
Spring, 2011 & CMSC 435 & 42 & Software Engineering
Fall, 2010 & CMSC 737 & 17 & Fundamentals of Software Testing
Spring, 2010 & CMSC 435 & 36 & Software Engineering
Fall, 2009 & CMSC 737 & 20 & Fundamentals of Software Testing
Spring, 2008 & CMSC 737 & 19 & Fundamentals of Software Testing
Fall, 2007 & CMSC 330 (Sec. 02**) & 41 & Organization of Programming Languages
Fall, 2007 & CMSC 330 (Sec. 01**) & 34 & Organization of Programming Languages
Spring, 2007 & CMSC 433 & 42 & Programming Language Technologies and Paradigms
Fall, 2006 & CMSC 737 & 10 & Fundamentals of Software Testing
Spring, 2006 & CMSC 435 & 15 & Software Engineering
Fall, 2005 & CMSC 838M & 4 & Advanced Concepts in Software Testing
Spring, 2005 & CMSC 435 & 38 & Software Engineering
Fall, 2004 & CMSC 838M & 6 & Advanced Concepts in Software Testing
Spring, 2004 & CMSC 435 & 38 & Software Engineering
Fall, 2003 & CMSC 838M & 8 & Advanced Concepts in Software Testing
Spring, 2003 & CMSC 435 & 42 & Software Engineering
Fall, 2002 & CMSC 838M & 15 & Advanced Concepts in Software Testing
Spring, 2002 & CMSC 435 & 50 & Software Engineering
Fall, 2001 & CMSC 838M & 19 & Advanced Concepts in Software Testing
endtabular par subsection*Independent Study par begintabularllrp3in Semester & Course & # Students & Description
hline Spring, 2012 & CMSC 499A & 1 & Independent Undergraduate Research
Summer, 2011 & CMSC 499A & 1 & Independent Undergraduate Research
Spring, 2011 & CMSC 499A & 1 & Independent Undergraduate Research
Fall, 2010 & CMSC 798 & 1 & Graduate Seminar Computer Science
Fall, 2010 & CMSC 499A & 3 & Independent Undergraduate Research
Spring, 2010 & CMSC 798 & 1 & Graduate Seminar Computer Science
Fall, 2009 & CMSC 798 & 1 & Graduate Seminar Computer Science
Fall, 2009 & CMSC 499A & 1 & Independent Undergraduate Research
Spring, 2008 & CMSC 499A & 1 & Independent Undergraduate Research
Spring, 2008 & CMSC 498A & 1 & Research and Learning
Fall, 2003 & CMSC 498A & 9 & Research and Learning
endtabular par mysubsection Courses or Curriculum Development par subsubsectionENPM 808K - Secure Software Testing and Construction beginitemize par item This course provides a holistic perspective of software security that spans the entire software lifecycle - from construction to analysis to maintenance. This is because producing secure software is a multifaceted problem of software engineering, security engineering, and management. Producing secure software starts with sound software engineering practices, augmented with sound technical practices, and supported by processes that promote secure software. After a short “introduction to secure software” thread, the course dives into content that is interwoven with 4 threads that cover theory as well as practice: Mechanisms for construction of secure software, Analysis of software for security, Software engineering processes that support secure software development, and Two practical case studies of unix/linux and the Android mobile platform in which we discuss the mechanisms that these environments provide, and how programmers and testers may leverage these mechanisms for secure software development and analysis. par More specifically, the course studies the following topics: Programming language features that provide explicit mechanisms, which programmers may use to build security into their programs; including type safety, memory safety, language-based security abstractions, stack-inspection, and sandboxing. Secure design patterns: architectural-level patterns such as distrustful decomposition, privilege separation, and defer to kernel; design-level patterns such as secure factory, secure strategy factory, secure builder factory, secure chain of responsibility, secure state machine, and secure visitor; implementation-level patterns such as secure logger, clear sensitive information, secure directory, pathname canonicalization, input validation, and resource acquisition is initialization. Classification scheme for software security patterns. Architecture and design considerations for secure software. Software engineering for secure systems, processes to produce secure software, secure software development practices. Design validation for security, architectural risk analysis of software systems based on security patterns. Threat modeling and attack patterns. Linux/unix security model and features. Android development, android security overview, permissions, security architecture, application signing, user ids and file access, intents and intent filters, testing android applications, androidmanifest.xml file. par enditemize par subsubsectionENPM 808B - Secure Operating Systems beginitemize par item This course presents at least three perspectives relevant to secure operating systems: (1) operating system designer, (2) programmer, who develops code that run on the operating system base, and (3) end-user, who simply uses the operating system and applications. The operating system designer creates and implements the security model that the operating system provides; the programmer uses the security model to develop software applications that rely on the implementation to provide security; the end-user expects the operating system and applications to work together seamlessly, providing a reasonable level of security. par After a short “introduction to OS” thread, the course dives into content that is interwoven with 4 threads that cover theory as well as practice: (1) kernel and core modules of an operating system, (2) security aspects of the kernel and relevant core modules, (3) how attackers think, and (4) two practical case studies of Unix/Linux and the Android mobile platform which discuss the mechanisms these OS’es provide, and how programmers may leverage these mechanisms for secure software development and analysis. par enditemize par subsubsectionCMSC433 - Programming Language Technologies and Paradigm beginitemize par item Traditionally this course has discussed advanced object-oriented programming concepts, restricted to the Java programming language. This course examines different programming paradigms - Object-oriented programming (OOP), logic programming, and functional programming. Due to its popularity, the OOP paradigm is discussed in detail, focusing on existing and emergining technologies used to implement object-oriented programs. Examples include UML, Design Patterns, Aspect-oriented Programming (AOP), refactoring, JUnit, and JavaDoc. The OOP paradigm can be significantly inefficient in certain domains and applications; some of these applications are examined and alternative paradigms like logic programming and functional programming studied. By the end of this course, students are familiar with the state-of-the-art in programming paradigms and associated technologies. par enditemize par subsubsectionCMSC435 - Software Engineering beginitemize par item Traditionally, the software engineering course has been taught with a practical component in which the students had to implement a project using software engineering principles. I have made significant modifications to the course by adding many lectures on software testing and revising the course project. The entire class represents a company (named TerpSoft) developing an office suite called TerpOffice. The first phase of the project requires the students to perform extensive regression testing of the existing version of TerpOffice. They then build a new version in subsequent phases and finally test it in the last phase of the project. The class is divided into groups, each working on a relatively independent part of TerpOffice (TerpManager, TerpDraw, TerpWord, TerpPresent, TerpSpreadSheet, and TerpPaint). Each group is further divided into the coding and testing team, with the project manager serving on the testing team. The students use testing tools to create thousands of test cases; they instrument the software's code and compute statement and branch coverage; they report all bugs using Buzilla (tt bugs.cs.umd.edu) and document their code using JavaDoc. CMSC435 has now become an extremely popular course since students are excited to learn new tools that they have never used before and are likely to use in the future. par enditemize par subsubsectionCMSC838M - Advanced Topics in Software Testing beginitemize par item I have developed (and taught five times) a new course that examines advanced software testing techniques. In particular, the important phases of testing are reviewed, emphasizing on the significance of each phase when testing different types of software. Students learn the state of the art in testing technology for object-oriented, component-based, concurrent, distributed, graphical-user interface, and web software. In addition, closely related concepts such as model checking and program analysis are also studied. Emerging concepts such as test-case prioritization and their impact on testing are examined. Students gain hands-on testing/analysis experience by proposing new solutions to open research problems in the field of software testing and experimentally demonstrate the strengths/weaknesses of their solutions. par enditemize par subsubsectionCMSC737 - Fundamentals of Software Testing beginitemize par item I have also developed a new course that examines the fundamental concepts in software testing. In particular, the important phases of testing are reviewed, emphasizing on the significance of each phase when testing different types of software. Students gain hands-on testing/analysis experience by using popular testing tools and creating test cases for several types of software. par enditemize par subsubsectionOther Universities par beginitemize par item Lecturer at the King Fahd University (1995-1996) Taught the undergraduate data structures course independently. Also team-taught an introductory computer science course. par item Lecturer at the University of Karachi (1992-1993) Taught the undergraduate data structures course, with programming projects. Also taught labs for the digital computer logic course, which involved setting up a digital logic lab for conducting experiments. par enditemize par mysubsection Advising: Research Direction par subsubsectionUndergraduate par beginitemize par item Fan Wu, (Spring 2014, Independent Study) par item Emily Kowalczyk, (Fall 2013 - Fall 2014, Honors project) par item Ian Sweet, (Fall 2013 - Spring 2014, Independent study) par item Jonathan Tseng, (Fall 2013 - Spring 2014, Independent study) par item Gunnar Bell, (Fall 2012, Independent undergraduate research) par item Corey Lowman, (Fall 2012, Independent undergraduate research) par item Rohan Pathare, (Fall 2012, Independent undergraduate research) par item Whitney Ford, (Spring 2012; Independent undergraduate research while taking my Software Engineering Course CMSC435) par item Temidayo Adebanjo Obayomi, (Summer 2011; Independent undergraduate research after taking my Software Engineering Course CMSC435) par item Tiffany Chao, (Spring 2011; Honor's Project) par item Abeyu Mengistu, (summer 2010; via the University of Maryland A. James Clark School of Engineering and College of Computer, Mathematical, and Physical Science Louis Stokes Alliance for Minority (LSAMP) Undergraduate Research Program) par item Matteo Bellistri, (summer 2010; via the University of Maryland A. James Clark School of Engineering and College of Computer, Mathematical, and Physical Science Louis Stokes Alliance for Minority (LSAMP) Undergraduate Research Program) par item Dixie Kee, (summer 2010; via the Univ. of Maryland Computer Security Scholars Faculty Mentor program) par item Luxi Wang, (summer 2010; via the Univ. of Maryland Computer Security Scholars Faculty Mentor program) par item Radhika Agrawal, (summer 2010; via the Univ. of Maryland Computer Security Scholars Faculty Mentor program) par item Chuqiao (Chole) Wang (2009; via the undergraduate research assistant program) par item Justin Bare (2009; via the undergraduate research assistant program) par item Chris Ventura (2009; via the undergraduate research assistant program) par item Amoona Albadawi (2009; via the undergraduate research assistant program) par item Janelle Gray (Univ. of Vermont) (summer 2009; via the Univ. of Maryland Computer Security Scholars Faculty Mentor program) par item Catherine Theuer (Cornell Univ.) (summer 2009; via the Univ. of Maryland Computer Security Scholars Faculty Mentor program) par item Adil Bukhari (2009; via the undergraduate research assistant program) par item Chong Kok Hoong (2009; via the undergraduate research assistant program) par item Oluwaseun Akinmade (2008; Independent study) par item Sean Spencer (2008; Independent study after taking my Organization of Programming Languages (CMSC330) course) par item Adesh Francis (2007; Independent study after taking my Programming Language Technologies and Paradigms (CMSC433) course) par item Daniel Hackner (2007; Independent study after taking my Programming Language Technologies and Paradigms (CMSC433) course) par item Timophey Zaitsev (2007; Independent study after taking my Programming Language Technologies and Paradigms (CMSC433) course) par item Alexei Ivanov (2004; Independent study after taking my Software Engineering Course CMSC435) par item Chihiro Hirai (2004; via the Undergraduate Research Assistant Program (URAP - http://www.ugresearch.umd.edu/URAP/URAP.htm)) par item Lai Ho (2003; via the Undergraduate Research Assistant Program) par item Zhou Luoyan (2003; via the Undergraduate Research Assistant Program) par item April Ahn (2003; via the Undergraduate Research Assistant Program) par item Serey Lay (2003; Independent study after taking my Software Engineering Course CMSC435) par item Eric L. Liu (2003; Independent study after taking my Software Engineering Course CMSC435) par item Devmann Lee (2003; Independent study after taking my Software Engineering Course CMSC435) par item Gilad Suberri (2002; via the Undergraduate Research Assistant Program) par item Richard Dill (2002; Independent study after taking my Software Engineering Course CMSC435) par item Divya Ravi (2002; via the Undergraduate Research Assistant Program) par item Won Sun Ouh (2002; Independent study after taking my Software Engineering Course CMSC435) par item Sureshmi Dilushika Wijewardena (2002; via the Undergraduate Research Assistant Program) par enditemize par subsubsectionMaster's par beginitemize par item Shashvat Thakor, 2008. par item Cyntrica Eaton, Spring 2004. Continued on as a PhD student. par item Scott McMaster, Spring 2004. Continued on as a PhD student. par item Ishan Banerjee, August 2003. Worked at AskJeeves.com; Currently at VMWare. par item Adithya Nagarajan, August 2003. Currently Senior Engineering Manager, Search Technology Center (BING) at Microsoft Corporation. par enditemize par subsubsectionDoctoral par beginitemize par item Ritu Pandey (Current; co-supervisor with Professor Aditya Shastri, Banasthali University, Rajasthan - 304022, INDIA) par item Jose Pedro Tavares (Current; co-supervisor with Professor Ana Paiva in FEUP/DEI, Rua Dr. Roberto Frias, 378, 4200-465 Porto, PORTUGAL) par item Rodrigo Moreira (Current; co-supervisor with Professor Ana Paiva in FEUP/DEI, Rua Dr. Roberto Frias, 378, 4200-465 Porto, PORTUGAL) par item Inês Coimbra Morgado (Current; co-supervisor with Professor Ana Paiva in FEUP/DEI, Rua Dr. Roberto Frias, 378, 4200-465 Porto, PORTUGAL) par item Bao Nguyen (graduated in Fall 2013; now at VMWare) par item Ishan Banerjee (Current) par item Ethar Elsaka (Current) par item Leslie Milton (Current) par item Bryan Ta (Current) par item Bryan Robbins (Current) par item Penelope Brookes (graduated in Summer 2009; Project Manager at Raytheon). par item Jaymie Strecker (graduated in Summer 2009; Visiting Assistant Professor at the College of Wooster, Ohio; Systems Developer at the Ohio State University; Software Developer at Kosada). par item Xun Yuan (graduated in Summer 2008; Software Engineer in Test at Google). par item Scott McMaster (graduated in Spring 2008; Software Engineer at Google). par item Cyntrica Eaton (graduated in Fall 2007; Assistant Professor at Norfolk State University). par item Qing Xie (graduated August 25, 2006; Researcher at Accenture Technology Labs). par enditemize par mysubsection Advising (Other than Research Direction) par subsubsectionGraduate (Ph.D. Committee) par begindescription par item Chanhyun Kang, current (VS Subrahmanian, advisor). par item Steffen Herbold, graduated in 2012 (Prof. Dr. Jens Grabowski, Georg-August-Universitat Gottingen, advisor). par item Timur Chabuk, current (Jim Reggia, advisor). par item Alex Quinn, current (Ben Bederson, advisor). par item Neha Gupta, current (Ashok Agrawala, advisor). par item Shivsubramani Krishnamoorthy, graduated in 2013 (Ashok Agrawala, advisor). par item Michael Lam, current (Jeff Hollingsworth, advisor). par item Walaa Eldin Moustafa, current (Amol Deshpande, advisor). par item Milan Jovic, graduated in 2012 (Matthias Hauswirth at Universit della Svizzera italiana, advisor). par item Nico Zazworka, graduated 2010 (Vic Basili, advisor). par item Arya Khoshkhou, graduated 2011 (Michel Cukier, advisor). par item Ananta Tiwari, graduated 2011 (Jeff Hollingsworth, advisor). par item Danielle Chrun, current (Michel Cukier, advisor). par item Il-Chul Yoon, graduated 2010 (Alan Sussman, advisor). par item Edward Z. Pan, graduated 2009 (Jim Reggia, advisor). par item Chuk-Yang Seng, graduated 2009 (Bill Arbaugh, advisor). par item Robin, graduated 2009 (Michel Cukier, advisor). par item Juan-Pablo Hourcade, graduated 2008 (Ben Bederson, advisor). par item Jeff Carver, graduated 2005 (Vic Basili, advisor). par item Okhtay Ilghami, graduated 2006 (Dana Nau, advisor). par item Ugur Kuter, graduated 2006 (Dana Nau, advisor). par item Fusun Yaman, graduated 2006 (Dana Nau, advisor). par item Tamer M. Elsharnouby, graduated (Shankar, advisor). par item Cemal Yilmaz, graduated 2005 (Adam Porter, advisor). par item David Hovemeyer, graduated 2005 (Bill Pugh, advisor). par enddescription par subsubsectionGraduate (MS Thesis Committee) par begindescription par item Robert Gove (Ben Shneiderman, advisor). par enddescription par subsubsectionMaster's Scholarly Papers par beginitemize par item Cyntrica Eaton. it ``Improving Web-site Compliance.'' par item Scott McMaster. it ``Call-stack Coverage for Test-suite Reduction.'' par enditemize par subsubsectionAcademic Advising par beginitemize par item Nick Kuilema. par enditemize par sectionService and Outreach par mysubsection Editorships, Editorial Boards, and Reviewing Activities par subsubsectionEditorial Boards par beginitemize par item em Empirical Software Engineering Journal. par item em Series Editor: Advances in Computers, Elsevier. par item em Journal of Software Testing, Verification and Reliability (STVR). par item em Empirical Software Engineering (EMSE). par item em The Open Software Engineering Journal (OSE). par item em Canadian Journal of Pure and Applied Sciences (CJPAS). par enditemize par subsubsectionReviewing Activities for Journals and Presses par beginitemize par item em ACM Transactions on Programming Languages and Systems (TOPLAS) par item em ACM Transactions on Software Engineering and Methodology (TOSEM) par item em IEEE Software par item em IEEE Computer par item em IEEE Transactions on Software Engineering (TSE) par item em Parallel Computing par item em Software: Practice & Experience par item em Software Testing, Verification & Reliability Journal par item em Software Quality Journal par item em Information & Software Technology, Elsevier par enditemize par subsubsectionReviewing Activities for Refereed Conferences par beginitemize par item International Conference on Software Engineering. par item The International Conference on Dependable Systems and Networks. par item International Conference on Software Engineering, Artificial Intelligence, Networking, Parallel/Distributed Computing. par item European Conference on Planning (ECP). par itemInternational Static Analysis Symposium (SAS). par item International Conference on Parallel Architectures and Compilation Techniques (PACT). par item International Symposium on the Foundations of Software Engineering (FSE). par item Software Technology Conference (STC). par enditemize par subsubsectionReviewing Activities for Books par beginitemize par item em Building Quality into COTS Components - Testing and Debugging, edited by Sami Beydeda and Volker Gruhn. par item em How to Break Security; A Practical Guide to Testing Your Software's Security, by James Whitaker and Herbert H. Thompson. par itemem The Information Systems Group Project by David A. Deeks, Pearson Education. par enditemize par subsubsectionEditing Activities for Books par beginitemize par item em Editor: Proceedings of The 2004 IEEE International Conference on Information Reuse and Integration. par item em Associate Editor: Proceedings of The 2003 IEEE International Conference on Information Reuse and Integration. par item em Guest Associate Editor: IEEE Transactions on Software Engineering, Oct. 2003. par enditemize par subsubsectionReviewing Activities for Agencies par beginitemize par item National Academy of Sciences panelist for the PEER program, a collaboration between the National Science Foundation (NSF), The US Agency for International Development (USAID) and the National Academies. Partnerships for Enhanced Engagement in Research (PEER) Program is intended to allow scientists in developing countries to apply for funds to support research and capacity-building activities in partnership with their National Science Foundation-supported U.S. collaborators on topics of importance to USAID. par item National Academy of Sciences panelist in the area of Computer Science and Information Technology, Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID), 2011. par item National Academy of Sciences panelist in the area of Computer Science and Information Technology, Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID), 2010. par item Served as Reader for Ph.D. thesis of Teemu Kanstren, who is advised by Prof. Ilkka Tervonen, University of Oulu Dept. of Information Processing Science P.O.Box 3000, 90014 University of Oulu, Finland. par item Served on an NSF proposals' review panel, 2009. par item National Academy of Sciences panelist in the area of Computer Science and Information Technology, Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID), 2009. par item National Academy of Sciences panelist in the area of Computer Science and Information Technology, Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID), 2008. par item Served on an NSF SEL CAREER proposals' review panel, 2007. par item National Academy of Sciences panelist in the area of Computer Science and Information Technology, Pakistan-U.S. Science and Technology Cooperative Program, sponsored by United States Agency for International Development (USAID), 2007. par item Reviewed a proposal for the Natural Sciences and Engineering Research Council, Canada, 2006. par item Served on an NSF research proposals' review panel, 2004. par item Reviewed a research proposal for the Swedish Research Council (VR), 2003. par enditemize par subsubsectionOther Non-University Committees par beginitemize par item General Chair, 10th IEEE International Conference on Software Testing, Verification and Validation, Tokyo, Japan, 2017. par item Awards Chair, The 38th International Conference on Software Engineering (ICSE), Austin, Texas, USA, 2016. par item Program Committee of ICSE 2016, the 38th International Conference on Software Engineering. The conference will be held May 14-22, 2016, in Austin, Texas, USA. par item Panel Member, PhD symposium of ICST 2015. par item Panel Member, the ICST panel "Grand Challenges in Software Testing, Verification, and Validation", ICST 2015. par item Program Committee of the 1st International Workshop on User Interface Test Automation (INTUITEST 2015). par item Programme Committee of the 6th International Workshop on Automating Test case design, Selection and Evaluation held in conjunction with SEFM2015, the 13th edition of the International Conference on Software Engineering and Formal Methods, York, UK, 7-11 September 2015. par item Program Committee of the Workshop on COmplex FaUlts and Failures in LargE Software Systems (COUFLESS 2015). COUFLESS 2015 will be held in Florence (Italy), on the 23rd of May 2015. par item Program Committee of 8th IEEE International Conference on Software Testing, Verification and Validation, Graz, Austria, 2015. par item Program Committee of the 10th IEEE/ACM International Workshop on Automation of Software Test (AST 2015), which will be held on 23-24 May 2015 in Firenze, Italy, co-located with the 37th International Conference on Software Engineering (ICSE 2015). par item Program Committee of the workshop on Complex faUlts and Failures in LargE Software Systems (COUFLESS'15) that is co-allocated with the International Conference on Software Engineering in Florence, Italy in May'15. par item Program Committee of the First International Workshop on Complex faUlts and Failures in LargE Software Systems, Co-located with 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, Hong Kong, 2014. par item Awards Chair, 36th International Conference on Software Engineering (ICSE), Hyderabad, India, 2014. par item Program Committee of 25th IEEE International Symposium on Software Reliability Engineering (ISSRE), Naples, Italy, 2014. par item Program Committee of the thematic track ``Quality in Agile Methods'' of the 9th International Conference on the Quality of Information and Communications Technology (QUATIC’2014), Guimarães, Portugal (23 to 26 September 2014). par item Program Committee of the 9th International Workshop on Automation of Software Test (AST’14). par item Program Committee of the Seventh IEEE International Conference on Software Testing, Verification and Validation (ICST) 2014, Cleveland, Ohio, USA March 31 - April 4, 2014. par item Program Committee of ATSE 2014, the 5th Workshop on Automated Test Case Design, Selection and Evaluation, 2014. par item Program Committee of the 1st International Workshop on Future Internet Testing (FITTEST'2013). The workshop will be held in Istanbul, Turkey, Nov 13-15, 2013, co-located with the The 25th IFIP International Conference on Testing Software and Systems (ICTSS'13). par item Program Committee 7th India Software Engineering Conference. The conference will take place in Chennai, India in February 2014. par item Program Committee Joining AcadeMiA and Industry Contributions to testing Automation (JAMAICA) Workshop 2013 to be held in Lugano, Switzerland at the Università della Svizzera italiana (University of Lugano) on July 15th 2013 and co-located with the ISSTA, the International Symposium in Software Testing and Analysis. par item Program Committee of ATSE 2013, the 4th Workshop on Automated Test Case Design, Selection and Evaluation, held in Krakow - Poland September 2013. par item Program Committee of QSIC 2013 (13th International Conference on Quality Software). The conference will be held in Nanjing, China in July 2013. par item Program Committee: Int. Workshop on Regression Testing, co-located with the ICST conference in Luxembourg, March 18-22, 2013. par item Program Committee: 4th International Conference on Runtime Verification (RV 2013). par item Member of PhD Symposium at ICST 2013. par item Program Committee of the Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART), 2013. par item Member of the ICSE 2013 Mentoring Committee. par item Program Committee of the main track of QUATIC'2012 - 8th International Conference on the Quality of Information and Communications Technology, which will take place in Lisbon, September 3-6, 2012. par item Program Committee of the second International Workshop on End-to-end Test Script Engineering (ETSE), to be held with ISSTA 2012. par item Program Committee: 3rd International Conference on Runtime Verification (RV 2012). par item Program Committee: Thematic track Quality in Agile Methods of the 8th International Conference on the Quality of Information and Communications Technology (QUATIC? @ Y2012), to be held in Porto (3,4 and 5 September 2012). par item Program Committee: AST 2012, to be held during June 2-3, 2012 in conjunction with ICSE'12. par item Program Committee: IEEE 20th International Requirements Engineering Conference - Industry Track, 2012, Chicago, USA. par item Program Committee: The 2nd International Workshop on Regression Testing, co-located with the ICST conference in Montreal, Canada. par item Program Committee: Testing Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), 2012, co-located with the ICST conference in Montreal, Canada. par item Member of the ICSE 2012 Mentoring Committee. par item Program Committee of the 12th International Conference on Quality Software (QSIC 2012) will be held in Xian China on August 27-28, 2012. par itemElected member of the Steering Committee of the International Conference on Software Testing, Verification and Validation — ICST, the largest conference on software testing. The Steering Committee has the responsibility to strategically lead the conference in the long term. par item Program Committee ICSM Industry Track, held from September 25 until October 1, 2011 in Williamsburg, VA, USA, 2011. par item Program Committee ADVCOMP 2011, The Fifth International Conference on Advanced Engineering Computing and Applications in Sciences, November 20-25, 2011 - Lisbon, Portugal, under the NexTech 2011 umbrella. par item Program Committee: 6th IEEE International Workshop on Automation of Software Test (AST2011), an ICSE2011 workshop. The workshop will be held within May 21-28, 2011. par item Program Committee: Testing Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), 2011, co-located with the ICST conference in Berlin, Germany. par item Workshops Co-Chair: The 9th Annual International Conference on Mobile Systems, Applications and Services, 2011. par item Program Committee: VALID 2011, The Third International Conference on Advances in System Testing and Validation Lifecycle VALID 2011 is scheduled to be October 23-28, 2011 - Barcelona, Spain, under SoftNet 2011 umbrella. par item Member PhD Symposium Committee: The 4th IEEE International Conference on Software Testing Verification and Validation (ICST'11), 2011. par item Member of the ICSE 2011 Mentoring Committee. par item General Chair of the Third International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software: TESTBEDS 2011 - GUI and Web Applications. par item Program Committee 11th International Conference On Quality Software (QSIC 2011). The conference will be held in Madrid, Spain in July 13-14, 2011. par item Organizing Committee of the Workshop on Experimental Evaluation of Software and Systems in Computer Science (Evaluate 2010), Co-located with SPLASH'10 in Reno/Tahoe, Nevada, October 17-21, 2010. par item Session Chair: ICST 2010. par item Program Committee of Early Research Achievements (ERA) Track at the 26th IEEE International Conference on Software Maintenance (ICSM R10). The ICSM R10 conference will be held on September 12-18, 2010 in Timisoara, Romania. par item Program Committee for ICIS 2010 in 2010. ICIS 2010 will be held in Yamagata, Japan, on August 18-20, 2010. par item Program Committee: 4th India Software Engineering Conference, Thiruvananthapuram, India. par item Program Committee: Testing Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), 3-5 Sep. 2010, at the Cumberland Lodge in Windsor, UK. par item General Chair of Second International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software: TESTBEDS 2010 - GUI and Rich Internet Applications. par item Program Committee of the thematic track ``Quality in Agile Methods'' of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC'2010), to be held in Porto (29 September to 2 October 2010). par item Program Committee 21st IEEE International Symposium on Software Reliability Engineering (ISSRE 2010), to be held on the CISCO campus in San Jose, California, November 1-4, 2010. par item Program Committee 5th Automated Software Test (AST 2010), a workshop co-located with ACM/IEEE 32th International Conference on Software Engineering (ICSE 2010). AST 2010 will be a two-day event to be held on 3-4 May 2010. par item International Program Committee ICSOFT 2010: 5th International Conference on Software and Data Technologies, 2010. par item Program Committee ADVCOMP 2010, The Fourth International Conference on Advanced Engineering Computing and Applications in Sciences, October 25 - 30, 2010 - Florence, Italy. par item Program Committee: SERA 2010, the 8th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2010). Sponsored by International Association for Computer and Information Science (ACIS). par item Program Committee: VALID 2010, The Second International Conference on Advances in System Testing and Validation Lifecycle. VALID 2010 is scheduled to be August 22-27, 2010 - Nice, France. par item Program Committee: the International Conference on Information Science and Applications (ICISA 2010), hosted by the Center for Industry Security (CIS) and co-sponsored by Kyunggi University and IEEE Computer Society. ICISA 2010 will be held in Seoul, Korea, on January 27-29, 2010. par item Program Committee Member for INTENSIVE 2010, The Second International Conference on Intensive Applications and Services, March 7-13, 2010 - Cancun, Mexico. par item Program Committee Member 10th International Conference on Quality Software (QSIC 2010). The conference will be held in Zhangjiajie, China on July 14-15, 2010. par item Program Committee: The 3rd IEEE International Conference on Software Testing Verification and Validation (ICST'10), 2010. par item PhD Symposium Chair: The 3rd IEEE International Conference on Software Testing Verification and Validation (ICST'10), 2010. par item Program Committee: 3rd India Software Engineering Conference (ISEC 2010), to be held in Mysore, India in Feb 2010. par item General Chair of First International Workshop on TESTing Techniques & Experimentation Benchmarks for Event-Driven Software: TESTBEDS 2009 - GUI Testing. par item Program Committee: ICSM 2009, the 25th IEEE International Conference on Software Maintenance. The conference will be held on September 20-26, 2009, in Edmonton, Alberta, Canada. par item Program Committee: WWW 2009 Web Engineering Track (http://www2009.org/calls/webeng.html). WWW 2009 will be held in Madrid, Spain, from 20 to 24 April 2009. par item Program Committee: Testing Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), 4-6 Sep. 2009, at the Cumberland Lodge in Windsor, UK. par item Program Committee: VALID 2009, The First International Conference on Advances in System Testing and Validation Lifecycle. VALID 2009 is scheduled on September 20-25, 2009 - Porto, Portugal under SoftNet 2009 umbrella. par item Program Committee: ICSEA 2009, The Fourth International Conference on Software Engineering Advances. ICSEA 2009 is scheduled to be in Porto - Portugal, September 20-25, 2009. par item Program Committee ADVCOMP 2009, The Third International Conference on Advanced Engineering Computing and Applications in Sciences, Sliema - Malta, October 11-16, 2009. par item Program Committee: (SNPD 2009) The 10th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing is sponsored by ACIS in cooperation with IEEE, Catholic University of Daegu and the Korean Society for Internet Information, 2009. par item Program Committee: Ninth International Conference on Quality Software (QSIC 2009), Jeju, Korea, August 24-25, 2009. par item Program Committee Member for the Software Engineering Symposium, a part of the 2009 World Congress on Computer Science and Information Engineering, March 31-April 2, 2009, Los Angeles/Anaheim. par item Program Committee for 8th IEEE/ACIS International Conference on Computer and Information Science in 2009. ICIS 2009 will be held in Shanghai, China, on June 1-3, 2009. par item International Program Committee ICSOFT 2009: 4th International Conference on Software and Data Technologies, 2009. par item International Program Committee for The 7th ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009). Sponsored by International Association for Computer and Information Science (ACIS). SERA 2009 will be held on Hainan Island in the city of Haikou, China December 2-4, 2009. par item Program Committee Member for INTENSIVE 2009, The First International Conference on Intensive Applications and Services, Valencia, Spain, on April 21-25, 2009. par item Program Committee of WebTest 2009, the 1st International Workshop on Web Testing, to be held on April 1st or 4th, 2009, in co-location with ICST 2009 (Int. Conf. on Software Testing), Denver, Colorado, USA. par item Technical Program Committee: Second IEEE International Conference on Software Testing, Verification and Validation, ICST 2009. par item PhD Symposium Chair: The 2nd IEEE International Conference on Software Testing Verification and Validation (ICST'09), 2009. par item Program Committee: 2nd India Software Engineering Conference (ISEC 2009), to be held in Pune, India, Feb 25-28 2009. par item Program Committee: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18 2008. par item Program Committee: Testing Academic & Industrial Conference - Practice and Research Techniques (TAIC-PART), 29-31 August 2008, at the Cumberland Lodge in Windsor, UK. par item Program Committee: ICSM 2008, the 24th IEEE International Conference on Software Maintenance. The conference will be held on September 28 to October 4, 2008, in Beijing, China. par item Program Committee: Software Engineering Research, Management and Applications Conference (SERA 2008). SERA 2008 will be hosted by Charles University in Prague. The conference is scheduled for August 20-22, 2008. par item Program Committee: Third International Conference on Software and Data Technologies (ICSOFT 2008), Porto (Portugal), on July 2008. The conference is organized by INSTICC, co-sponsored by the Workflow Management Coalition (WfMC) in cooperation with the IICREST. par item Program Committee: 9th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing in 2008 (SNPD 2008), Phuket, Thailand, on August 6 - 8, 2008. par item Program Committee: Eighth International Conference on Quality Software (QSIC 2008), Oxford, England, 12-13 August 2008. par item Technical Program Committee: International Conference on Software Engineering Advances (ICSEA 2008), October 26 - 31, 2008, Sliema, Malta. par item Program Committee: 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008), Portland, Oregon, May 14 - 16, 2008. par item Technical Program Committee: Second International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2008), Valencia, Spain, on September 29 - October 4, 2008. par item Program Committee: Second International Workshop on Software Test Evaluation (STEV 2008). Co-located with ICST 2008, which will take place in Lillehammer, Norway on April 9-11, 2008. par item Program Committee: Web Engineering Track of The 17th International World Wide Web Conference (WWW 2008), Beijing, China, April 21-25, 2008. par item Program Committee: Industry Track of the First IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), 9-11 April 2008, in Lillehammer, Norway. par item Technical Program Committee: Research Track of the First IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), 9-11 April 2008, in Lillehammer, Norway. par item Technical Program Committee: International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2007), Tahiti, French Polynesia, Nov. 4-9, 2007. par item Program Committee: First International Workshop on Software Test Evaluation, (STEV 2007), 11 October, 2007 Portland, Oregon, USA. par item Program Committee: 7th International Conference On Quality Software (QSIC 2007), 11-12, October, 2007 Portland, Oregon, USA. par item Program Committee: 5th IEEE International Conference on Software Engineering Research, Management and Applications (SERA2007) in conjunction with 1st International Workshop on Advanced Internet Technology and Applications (AITA2007) August 20 - 22, 2007 Haeundae Grand Hotel, Busan, Korea. par item Program Committee: 2007 International Workshop on Distance Education Technologies (DET 2007), San Francisco Bay, September 6-8, 2007, joint with the 2007 International Conference on Distributed Multimedia Systems (DMS 2007). par item Program Committee: 8th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2007), Qingdao, China, July 25-27, 2007. par item Technical Program Committee: International Conference on Software Engineering Advances (ICSEA 2007), Cap Esterel, French Riviera, France, August 25-31, 2007. par item Program Committee: IEEE International Workshop on Testing for Emerging Software Technology (TEST 2007), part of the 31st International Computer Software and Applications Conference (COMPSAC). par item Program Committee: ICSM 2007, the 23th IEEE International Conference on Software Maintenance. par item Program Committee: Workshop on Integrating System Environments into Software Testing (WISEST 2007). par item Program Committee: First International Workshop on Model-Based Testing and Object-Oriented Systems (M-TOOS 2006), affiliated with OOPSLA 2006, Portland, OR, USA, Oct. 23, 2006. par item Program Committee: 6th International Conference On Quality Software (QSIC 2006), Beijing, China, Oct. 26-28, 2006. par item Technical Program Committee: International Conference on Software Engineering Advances (ICSEA 2006), Tahiti, French Polynesia, Oct. 29-Nov. 1, 2006. par item Program Committee: Doctoral Symposium of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, Sep. 18-22, 2006. par item Program Committee: Second International Workshop on Testing and Quality Assurance for Component-Based Systems (TQACBS 2006), in conjunction with COMPSAC 2006, Chicago, IL, USA, Sep. 18-21, 2006. par item Program Committee: Web Engineering Track of The Fifteenth International World Wide Web Conference (WWW 2006), Edinburgh, Scotland, May 23-26, 2006. par item Program Committee: 3rd ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2005), Central Michigan University, Mount. Pleasant, Michigan, USA, Aug. 11-13, 2005. par item Technical Committee: First International Conference on Information and Communication Techniques (ICICT 2005), Karachi, Pakistan, Aug. 27-28, 2005. par item Program Committee: First International Workshop on Testing and Quality Assurance for Component-Based Systems (TQACBS 2005), in conjunction with COMPSAC 2005, Edinburgh, Scotland, July 25-28, 2005. par item Program Committee: International Workshop on Frontiers of Information Technology (FIT 2004), Islamabad, Pakistan, Dec. 20-21, 2004. par item Program Committee: Web Engineering Track of The Fourteenth International World Wide Web Conference (WWW2005), Chiba, Japan, May 10-14, 2005. par item Program Committee: The 1st International workshop on Web Quality (WQ 2004), in conjunction with the International Conference on Web Engineering (ICWE 2004), Munich, Germany, July 28-30, 2004. par item Program Committee: Net.ObjectDays 2004 Workshop - Testing Component-based Systems (TECOS 2004), Erfurt, Germany, Sep. 27-30, 2004. par item Program Committee: Building Quality into COTS Components - Testing and Debugging, a book edited by Sami Beydeda and Volker Gruhn, University of Leipzig, Germany. par item Session Chair: Platform and language-specific re-engineering, The 11th IEEE Working Conference on Reverse Engineering (WCRE 2004), Delft University of Technology, the Netherlands, Nov. 9-12, 2004. par item Program Committee: The 11th IEEE Working Conference on Reverse Engineering (WCRE 2004), Delft University of Technology, the Netherlands, Nov. 9-12, 2004. par item Program Committee: 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD2004), Beijing, China, June 30-July 2, 2004. par item Session Chair: The IASTED International Conference on ARTIFICIAL INTELLIGENCE AND APPLICATIONS (AIA 2004), Innsbruck, Austria, Feb. 16-18, 2004. par item Publications Chair: IEEE International Conference on Information Reuse and Integration (IRI 2004), Las Vegas, NV, USA, Nov. 8-10, 2004. par item Publications Chair: IEEE International Conference on Information Reuse and Integration (IRI 2003), Las Vegas, NV, USA, Oct. 27-29, 2003. par item Advisory Board: 15th International Internet & Software Quality Week (QW 2002), San Francisco, California, USA, Sep. 3-6 2002. par item Session Chair: Dynamic Program Analysis, Tenth International Symposium on the Foundations of Software Engineering (FSE-10), Charleston, SC, USA, Nov. 18-22, 2002. par item Program Committee: Tenth International Symposium on the Foundations of Software Engineering (FSE-10), Charleston, SC, USA, Nov. 18-22, 2002. par item Advisory Board: 14th International Internet & Software Quality Week (QW 2001), San Francisco, CA, USA, May 29-June 1 2001. par enditemize par subsubsectionInternational Activities par beginitemize par item Served as Reader for Ph.D. thesis of Teemu Kanstren, who is advised by Prof. Ilkka Tervonen, University of Oulu Dept. of Information Processing Science P.O.Box 3000, 90014 University of Oulu, Finland, 2009. par item Worked closely with instructors of the Department of Software Engineering at the Singapore Management University to improve their courses and projects, 2006-2007. par item Advising two Masters students in Kabul, Afghanistan, 2006-2007. par enditemize par subsubsectionPaid Consultancies par beginitemize par item Worked at the Fraunhofer Center for Experimental Software Engineering. Participated in the following projects: par beginitemize par item ``DoD Software Intensive Systems (SIS) Experience Factory Support,'' funded ($310,000) by the em Office of the Under Secretary of Defense (OUSD) SIS, (May 1, 2001-Apr. 30, 2003). par item ``GSFC Effort Estimation Process,'' funded ($134,000) by the em NASA Goddard, (Aug. 1, 2003-Apr. 30, 2004). par enditemize par enditemize par mysubsection Campus Service par subsubsectionDepartment par beginitemize par item UG Honors Chair, 2013-2014. par item UG Honors Chair, 2012-2013. par item 2013: APT committee to consider the promotion of Evan Golub to Senior Lecturer. par item 2012-2013: Committee to examine the curricula of 100-300 level courses and to revise them to support the higher level courses in our program. par item 2012-2013 UG Awards and Scholarship Committee. par item Dept. Computer systems administrator search committee, 2011-2012. par item Honors Committee, 2011. par item UG Awards and Scholarship Committee, 2011. par item UG Awards and Scholarship Committee, 2010. par item UG Awards and Scholarship Committee, 2009. par item Member, Graduate admissions committee, 2009. par item Member, Middle States Evaluation Committee, 2008-2009. par item Member, Computer Lab Committee, 2008-2009. par item Teaching Evaluation Committee, 2008-2009. par item Dean's fellowships committee, 2008. par item APT reviewer for Vibha Sazwal, 2008. par item Member, Graduate admissions committee, 2008. par item Computational Biology faculty search committee, 2007. par item Dept. rep. PCC, 2007. par item Spoke at the Undergraduate Visit Day Reception - ``Meet Our Family!!'', 2007. Topic: Programming Languages. par item Member, Graduate admissions committee, 2007. par item Spoke at the workshop for undergraduate students on the importance of graduate school, 2006. Topic: ``The importance of doing research as an undergrad, and how to go about doing it.'' par item Member, Computer Lab Committee, 2006-2007. par item Organized the discussion on Software Engineering with the CS Advisory Board, 2006. par item Member, committee for revising graduate course requirements, 2005-2006. par item Member, Graduate admissions committee, 2006. par item Spoke at the workshop for undergraduate students on the importance of graduate school, 2005. Topic: ``The importance of doing research as an undergrad, and how to go about doing it.'' par item Spoke at the AWC lecture to inform women about upcoming 400 level courses, 2005. par item Member, Department scholarships review committee, 2005. par item Member, Search Committee to fill Carole's Position in the Business Office, 2005. par item Member, Software Engr/Programming Languages/HCI field committee, 2001-present. par item Member, Computer Lab Committee, 2005-2006. par item Teaching Evaluation Committee, 2005. par item Graduate admissions committee, 2005. par item Spoke at the workshop for undergraduate students on the importance of graduate school, 2004. Topic: ``The importance of doing research as an undergrad, and how to go about doing it.'' par item Spoke at the AWC lecture to inform women about upcoming 400 level courses, 2004. par item Graduate Student Placement Committee, 2004. par item Teaching Evaluation Committee, 2004. par item IBM Student Fellowship Nomination Committee, 2003. par item Spoke at CMSC838G on ``What is going on in Software Engineering.'' par item Spoke at the workshop for undergraduate students on the importance of graduate school, 2003. Topic: ``The importance of doing research as an undergrad, and how to go about doing it.'' par item Spoke at the AWC lecture to inform women about upcoming 400 level courses, 2003. par item Teaching Evaluation Committee, 2003. par item Spoke at the AWC lecture to inform women about upcoming 400 level courses, 2002. par item Undergraduate Course Revision Committee, 2002. par item Member of departmental committee to recruit better quality graduate students, Fall 2001. par item Friday Faculty Lunch Coordinator, Fall 2001. par item President of Pakistan Students' Association, University of Pittsburgh (1997-2001). par item President of Graduate Students' Association, University of Pittsburgh (1999-2001). par item Vice President of Graduate Students' Association, University of Pittsburgh (1998-1999). par item President of Graduate Students' Association, University of Pittsburgh (1997-1998). par item Editor-in-Chief On-Line Magazine, University of Karachi (1990-1992). par item Editor On-Line Magazine, University of Karachi (1989-1990). par enditemize par subsubsectionCollege par beginitemize par item Member, Design Outcome Oversight Committee (DOOC), 2012-2014 par item Member, Design Outcome Oversight Committee (DOOC), 2011-2012 par item Spoke at the Undergraduate Visit Day. par item Member, Organizing committee for Software Day event, 2007. par item Member, Organizing committee for Software Day event, 2006. par item Met with UMIACS External Review Committee, 2006. par item Met with visitors from Tata Consulting Services; discussed software engineering research projects at CS Maryland, 2005. par item Member: UMIACS APT Committee, 2004. par item Chair: UMIACS short courses committee, 2004. par item Participated in Strategic Directions in IT meeting, Nov 24, 2003. par item Member: UMIACS Director Search Committee, 2000-2001. par enditemize par subsubsectionUniversity par beginitemize par item Member: HPCC Allocations/Advisory Committee, Office of Information Technology, 2007-2014. par item Computer Security Scholars Faculty Mentor, 2009. par item External Reviewer for the CMIT program, UMUC, 2008. par item Participated in a panel: CAREER proposal preparation workshop June 21, 2006. par item Member: HPCC Allocations/Advisory Committee, Office of Information Technology, 2006. par enditemize par mysubsection Community par beginitemize par item Reviewer, Intel Science Talent Search, Dec., 2013. par item Reviewer, Intel Science Talent Search, Dec., 2012. par item Reviewer, Intel Science Talent Search, Dec., 2011. par item Reviewer, Intel Science Talent Search, Dec., 2010. par item Reviewer, Intel Science Talent Search, Dec. 8, 2007. par item Reviewer, Intel Science Talent Search, Dec. 8, 2006. par item Reviewed another book proposal for the Cambridge University Press, Sep. 15, 2006. par item Reviewed a book proposal for the Cambridge University Press, July 24, 2006. par item Reviewer, Intel Science Talent Search, Dec. 8, 2005. par item Developed and conducted a tutorial on software testing to employees at the National Institutes of Health, Mar. 22, 2004. par item Reviewer, Intel Science Talent Search, Dec. 4, 2004. par item Reviewer, Intel Science Talent Search, Dec. 6, 2003. par item Reviewed a book proposal for the Business Education Publishers Limited, Dec. 5, 2003. par item Chaired a meeting for managers at the National Institutes of Health to increase Software Quality awareness, Dec. 01, 2003. par item Developed and taught a short course on Software Testing at the National Institutes of Health, Aug. 05, 2003. par item Developed and conducted two one-day workshops on Software Quality Assurance for employees of the Hughes Network Systems, June 20, 2003. par enditemize par sectionAwards and Honors par beginitemize par item Best paper award - The Eighth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2014). par item ``Retrospective'' award for the most influential paper among the papers of 2003 Working Conference on Reverse Engineering, (2013). par item National Science Foundation CAREER Award (2005). par item Best paper award - The Australian Software Engineering Conference (ASWEC 2004). par item The CS department post-proposal graduate research award, Department of Computer Science, University of Pittsburgh (2001). par item Andrew Mellon Pre-doctoral Fellowship for the second year (2000-2001). par item Chancellor's Honor Roll, University of Pittsburgh (2000-2001). par item Andrew Mellon Pre-doctoral Fellowship (1999-2000). par item Chancellor's Honor Roll (1999-2000). par item KFUPM Scholarship for entire M.S. period (1993-1996). par item Gold Medal in B.S., University of Karachi (1992). par enditemize par enddocument

Atif M Memon 2015-10-06