Keynote talk at the
IEEE Mutation 2009 Workshop,
International Conference on Software Testing, Verification and Validation.
"A Mutation Carol: Past, Present and Future".
Denver Colorado, April 2009.
Keynote talk at the
IEEE 10th International Conference on Formal Engineering Methods (ICFEM),
"Programmers Ain’t Mathematicians and Neither Are Testers".
Japan, October 2008.
Keynote talk at the
2nd International Research Workshop on Advances and Innovations in Systems Testing, Memphis TN,
May 2008.
Invited speaker at Network Solutions, Reston Virginia, July 2008.
Invited speaker at Wakefield School, "Internet Safety". The Plains Virginia, April 2007.
Invited Lecturer for the
ARTES Summer School (A network for Real-Time research and graduate Education in Sweden),
"Overview of Software Testing".
Nässlingen, Sweden, August 2006.
Invited speaker at the National Consortium of Specialized Secondary Schools of Math, Science, and Technology (NCSSSMST) Student Conference 2007, "The Evolving Face of Computing". Fairfax, VA, hosted by Thomas Jefferson High School and GMU.
Invited speaker at GW Community School, "Internet Safety for Teenagers". Fairfax, VA.
Invited research presentation at Avaya Research Laboratory, New Jersey.
Invited speaker at Freddie Mac, McLean Virginia.
Invited speaker at Robinson Secondary School, "Computing and Science". Fairfax, Virginia.
Invited research presentation at Avaya Research Laboratory, New Jersey.
Invited research presentation at the Fudan University, Shanghai, China;
Shanghai University, Shanghai, China;
Chulalongkorn University, Bangkok, Thailand;
Washington State University;
Georgia Institute of Technology.
Invited research presentation at
the University of Maryland's Fraunhofer Center;
Ewha University, Seoul, South Korea;
Korean Advanced Institute of Science and Technology, Daejon, South Korea.
Invited speaker at Korean Advanced Institute for Science and Technology (KAIST)
Computer Science Department.
"Testing Concurrent Interacting OO Finite State Machines".
Seoul Korea, June 2003.
Invited speaker at Aerospace Corporation.
"Fault Model for Subtype Inheritance and Polymorphism".
Fairfax VA, February 2003.
Invited speaker at CONQUEST 2002, Quality Engineering in Software Technology.
"Quality Attributes of Web Software Applications".
Nuremberg, Germany, September 19, 2002.
Invited speaker at National Research Council of Canada.
"A Fault Model for Subtype Inheritance and Polymorphism".
Ottawa, Canada, May 2002.
Invited speaker at Georgia Institute of Technology College of Computing.
"Using XML to Test Web Software Services".
Atlanta GA, March 2002.
Invited speaker at
Georgia Institute of Technology Software Engineering Research Center.
"A Fault Model for Subtype Inheritance and Polymorphism".
Atlanta GA, March 2002.
Invited speaker at
Vanderbilt University Computer Science Department.
"Using XML to Test Web Software Services".
Nashville TN, February 2002.
Invited speaker at
Colorado State University Computer Science Department.
"Using XML to Test Web Software Services".
Fort Collins CO, January 2002.
Invited speaker at
University of Kentucky Computer Science Department.
"Using XML to Test Web Software Services".
Lexington KY, October 2002.
Invited speaker at
Linköping University.
"Generating Test Data From Functional Specifications".
Linköping Sweden, April 1998.
Hiroshima City University, Hiroshima, Japan
"Generating Test Data From Functional Specifications".
1996.
Beijing University of Aeronautics and Astronautics
Software Engineering Institute.
"Generating Test Data From Functional Specifications".
1996.
Society for Software Quality.
1996.
Rockwell Collins Avionics.
1995.
Purdue University.
1988, 1993.
Bellcore.
1988.
Texas Tech University.
1988.
University of Tennessee.
1988.
Georgia Institute of Technology.
1989, 1992.
University of Colorado.
1992.
Florida Atlantic University.
1992.
Old Dominion University.
1993.
Tutorials and Short Courses
Invited tutorial presenter for Software Testing day.
Sponsored by
the Korean Information Science Society (KISS),
Special Interest Group on Software Engineering (SIGSE),
Korean Advanced Institute for Science and Technology (KAIST),
and Ewha University, June 17 2003, Seoul Korea.
"Testing Web Software Applications".
Audience: Faculty, graduate students and industry practitioners,
three hours.
Invited tutorial presenter for
CONQUEST 2002, Quality Engineering in Software Technology,
September 18-20, 2002, Nuremberg, Germany.
"Designing Software for the Web".
Audience: Industry practitioners and graduate students,
three hours.
Invited Lecturer for the
ARTES Summer School (A network for Real-Time research and graduate Education in Sweden),
August 20-23, 2002, Nässlingen, Sweden.
"Integration Testing of Real-Time and Web-based Software".
Audience: PhD students,
four hours.
Invited Lecturer for the
Summer School in Engineering of Complex Technical Systems (ECTS 2000),
August 14-18, 2000, University of Skövde, Skövde Sweden.
"Integration Testing and Specification-based
Testing of Complex Software".
Audience: Industry practitioners and PhD students.
three hours.
Invited Lecturer for a week-long short course on
Software Testing at
Linköping University.
Linköping Sweden, April 1998.
Audience: PhD students, 15 hours.
Panels
Panel moderator and member at the 2002 International Symposium on
Software Reliability Engineering (ISSRE '02).
Annapolis MD, November 2002.
Panel title: Open-source Software: More or Less Secure and Reliable.
Panel member at the Sixth IEEE International Conference on
Engineering of Complex Computer Systems (ICECCS 00),
September 2000.
Panel title: Future of the Web: Ten Year Predictions.
Panel member at the 12th IEEE Computer Assurance Conference (COMPASS 97),
June 1997.
Panel title: Software testing: State-of-the-art Vs.
State-of-the-practice.
Position paper: Software Testing: From Theory to Practice.
Panel member at the National Educational Computing Conference (NECC 95),
June 1995.
Panel title: Entrepreneurs from Academia.
Position paper: A History of Mutation Testing:
From Half-baked Idea to Commercial Product.
Panel member at the International Symposium on
Software Testing and Analysis,
August 1994.
Panel title: Empirical Techniques for Assessing Testing Strategies.
Panel member at the International Test Conference (ITC),
October 1991.
Panel title: Software Testing: State of Practice.
Position paper: Unit Testing Versus Integration Testing.