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
newedcommandzbbbbfootnotesizerm b
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
iffalse
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
fi
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 Visiting Scientist,
Google Inc.,
California, USA.
January 2016-July 2016.
par
item Visiting Scientist,
Tata Research Development and Design Centre (TRDDC),
Pune, India.
November 2008-January 2009.
par
item Visiting Scientist,
Chinese Academy of Sciences,
Beijing, China.
September 2008-October 2008.
par
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 101: Advances in Computers, 1st Edition;
Editor : A Memon;
Release Date: Mar. 4, 2016;
Imprint: Academic Press;
ISBN: 978-0128051696;
Pages: 282.
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
``Colluding Apps: Tomorrow's Mobile Malware Threat,''
by Atif M. Memon and Ali Anwarstudent ,
it IEEE Security and Privacy,
vol. 13, no. 6, Nov. 2015, pp. 77-81.
bf (refereed)
par
item
``SITAR: GUI Test Script Repair,''
by Zebao Gaostudent , Zhenyu Chen, Yunxiao Zou, and Atif M. Memon,
it IEEE Transactions on Software Engineering,
vol. 42, no. 2, pp. 170-186, Feb. 1 2016.
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.
vol. 32, no. 5, pp. 53-59, Sept.-Oct. 2015.
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
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
``Build It Break It: Measuring and Comparing Development Security,''
by Andrew Ruef, Michael Hicks, James Parker, Dave Levin,
Atif Memon, Jandelyn Plane, and Piotr Mardziel, in it The Proceedings of the 8th USENIX Conference on Cyber Security Experimentation and Test, (Berkeley, CA, USA), 2015, pp. 2-2.
bf (refereed)
par
item
``Disqover: Debugging via Code Sequence Covers,''
by Ethar Elsakastudent and Atif M. Memon.
In it The Proceedings of the Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on Software Reliability, Nov. 2015, pp. 85-92.
bf (refereed)
par
item
``Piecing Together App Behavior from Multiple Artifacts: A Case Study,''
by Emily Kowalczykstudent ,
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
Test Automation at Scale: Challenges and Solutions,
Netflix, Los Gatos, CA,
2017.
par
item
Role of Flaky Tests in Continuous Integration,
Google, Sunnyvale, CA,
2016.
par
item
Recent Advances in Software Testing,
Apple, Sunnyvale, CA,
2016.
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 Zebao Gao (Current)
par
item Emily Kowalczyk (Current)
par
item Bao Nguyen (graduated in Fall 2013; now at Google)
par
item Ishan Banerjee (graduated in Spring 2016; now at VMWare)
par
item Ethar Elsaka (graduated in Spring 2016; now at Apple)
par
item Leslie Milton (graduated in Spring 2016; now at US Army)
par
item Bryan Ta (graduated in Spring 2015; now at Microsoft)
par
item Bryan Robbins (graduated in Spring 2016; now at FINRA)
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 Technical Program Committee Chair, 12th IEEE International Conference on Software Testing,
Verification and Validation, Xian, China, 2019.
par
item Program Committee Member, 11th IEEE International Conference on Software Testing,
Verification and Validation, Västerås, Sweden, 2018.
par
item Program Committee of ICSE 2018 (40th International Conference on
Software Engineering).
par
item Program Committee Mmeber,
INTUITEST2017 (3rd International Workshop on User Interface
Test Automation), Berlin, Germany,
2017.
par
item Program Committee Mmeber,
8th A-TEST workshop 2017, co-located with FSE2017 in Paderborn, German,
2017.
par
item General Chair, 10th IEEE International Conference on Software Testing,
Verification and Validation, Tokyo, Japan, 2017.
par
item Panel Member, PhD symposium of ICST 2016.
par
item Program Committee for the
7th A-TEST workshop 2016, co-located with FSE 2016 in Seattle, 2016.
par
item Program Committee for the Regular Technical Papers Track of the 9th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016.
par
item Program Committee for the Testing Tool Demo Track of the 9th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016.
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, 6th IEEE International Workshop on Program Debugging, 2015.
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 Fraunhofer-Bessel Research Award from the Humboldt Foundation and the Fraunhofer Society for the Advancement of Applied Research, 2016.
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
2018-11-08