RESEARCH AND TEACHING AREAS

Research area is software engineering with emphases in software testing, all aspects of web applications and web services, software maintenance and evolution, and software measurement. Current projects in testing web applications and web services, generating tests for object-oriented software, and maintenance of open-source software. Teaches courses on software engineering, including testing, web applications, web page design, human computer interface design, software construction, software analysis, and experimental software engineering. Holds a part-time visiting faculty position at University of Skövde, Skövde Sweden, contributing expertise on software engineering and software testing in the Distributed Real-Time Systems Research Group (DRTS). Technical board of advisors for Certess, Inc. Best Teacher Award from the Volgeneau School of IT&E in 2003. Editor-in-Chief of Wiley’s journal of Software Testing, Verification and Reliability (since 2007), steering committee chair for IEEE International Conference on Software Testing, Verification, and Validation, and co-author of the textbook Introduction to Software Testing. Editorial board member of IEEE Transactions on Software Engineering (2001-2005), the Empirical Software Engineering Journal, the Journal of Software and Systems Modeling, and the Software Quality Journal.

PROFESSIONAL EXPERIENCE

• Since 2005: Professor (with tenure) of Software Engineering, George Mason University. Assistant Professor 1992-1996, Associate Professor with tenure 1996-2005.
• Part-time and Visiting Positions:
  • since 2002: Part-time visiting professor in the Department of Computer Science, University of Skövde, Skövde Sweden. Participates in the Distributed Real-Time Systems Research Group (DRTS), contributing expertise on software engineering and software testing.
  • 2000-2007: Part-time Research Scientist with the National Institute of Standards and Technology's Information Technology Lab.
• January 1998 to August 1998: Acting Chair of Information and Software Engineering, George Mason University.
• August, 1988 to August 1992: Assistant Professor of Computer Science, Clemson University.
• January, 1986 to August, 1988: Graduate Research Assistant at the Software Engineering Research Center, Georgia Institute of Technology.
• January, 1983 to December, 1986: Graduate Research and Teaching Assistant in the Department of Information and Computer Science, Georgia Institute of Technology.

EDUCATION

• PhD Information and Computer Science, Georgia Institute of Technology, August 1988.
• MS Information and Computer Science, Georgia Institute of Technology, March 1985.
• BS cum laude Mathematics and Data Processing (double major), minor in Physics, Morehead State University, May 1982.

• Research into Testing Service Oriented Architectures, Avaya Research Labs, $61,169, July 2006 - May 2007.
• Coupling-based Object-Oriented Software Analysis, NIST Information Technology Lab, $24,988, June 2005 - January 2006.
• Assuring Web-based Software System Components, NASA Goddard, subcontract through Indus Corporation: $104,331, September 2003 - December 2004.
• Repeated Maintenance of Open-Source Software, NSF: CCR - 00 97056, $225,000, Sept 2001 - December 2004. Collaborative with Steven Schach of Vanderbilt University.
  REU Supplemental Research Experience for Undergraduates: $6000, June 2002 - Sept 2002.
  REU Supplemental Research Experience for Undergraduates: $6459, June 2003 - Sept 2003.
• Coupling-based Analysis for Integration Testing of Object-oriented Software, NSF: CCR - 98 04111, $200,000, July 1998 - June 2001.
• A Comparative Evaluation of Data Flow and Mutation Testing, NSF: CCR - 93 11967, August, 1993 - January, 1996.
• Assuring Web-based Software System Components, NASA Software IV&V Facility: $136,000, Oct 2001 - Oct 2002 (unfunded).
• Generating Test Cases From Requirements/Specifications, Rockwell-Collins Avionics
  Phase I: $25,000, May 1997 - August 1997.
  Phase II: $40,000, January 1998 - August 1998.
  Phase III: $30,000, January 1999 - August 1999.
  Phase IV: $30,000, January 2000 - August 2000.
• Estimator Efficiency, Software Productivity Consortium, $29,200, January 1999 - May 1999.
• Software Reliability for Real-Time Control Systems, NASA Langley Research Center, August, 1989 - August, 1990.
• A Practical Mutation Testing System for Ada, NASA Phase I SBIR grant to Reliable Software Technologies Corporation, February, 1993 - July, 1993 (with Jeff Voas of RST as PI).
• Specification-based testing, 1999-2001, The Ministry of Education of Japan under Joint Research Grant-in-Aid for International Scientific Research FM-ISEE (08044167). PI is Dr. Shaoying Liu of Hosei University, Tokyo Japan, grant supported collaboration by funding several trips.
• XML Testing of Web Services, IT&E Graduate Research Assistantship, August 2005 - May 2006.
• Testing Data State Interactions Web Software Applications, IT&E Graduate Research Award, August 2002 - May 2003.
• Software Testing Based on Module Coupling, SITE Graduate Research Assistantship, August 1995 - May 1996.

• Samsung Electronics
• Certess Inc, member of the Technical Advisory Board
• Creative Labs
• Agitar Software
• Hyperchip, Inc.
• IP Optical, Inc.
• United Arab Emirates University
• Bell Communications Research
• INternational Research Institute
• Reliable Software Technologies
• Rockwell Collins Avionics

• BOOKS AND CHAPTERS
  • Introduction to Software Testing. Paul Ammann and Jeff Offutt, Cambridge University Press, 2008.
  • "Coverage Criteria for State Based Specifications," Paul Ammann, Jeff Offutt and Wuzhi Xu, chapter in "Formal Methods and Testing," edited by Mark Harman, Rob Hierons and Jonathan Bowen, Springer-Verlag Lecture Notes in Computer Science 4949. DOI 10.1007/978-3-540-78917-8, April 2008. (Invited).
  • "Software Design and Implementation in the Web Environment," chapter in The Internet Encyclopedia, edited by Hossein Bidgoli, John Wiley & Sons, Inc. 2003.
  • Program Mutation: An Approach to Software Testing. R. A. DeMillo and A. J. Offutt. In progress.
• JOURNALS
  1. "Modeling Presentation Layers of Web Applications for Testing," Jeff Offutt and Ye Wu. Springer’s Software and Systems Modeling, 9(2):257-280, April 2010, DOI: 10.1007/s10270-009-0125-4.
  2. "Testing Coupling Relationships in Object-Oriented Programs," Roger T. Alexander and Jeff Offutt. Wiley’s Journal of Software Testing, Verification, and Reliability, Accepted 2009.
  3. "Scalability Issues with Using FSMs to Test Web Applications," Anneliese A. Andrews, Jeff Offutt, Curtis Dyreson, Christopher J. Mallery, Kshamta Jerath, and Roger Alexander. Elsevier’s Information and Software Technology, Accepted 2009, DOI: 10.1016/j.infsof.2009.06.002.
  4. "Recognizing Authors: An Examination of the Consistent Programmer Hypothesis," Jane Hayes and Jeff Offutt. Journal of Software Testing, Verification, and Reliability, accepted.
  5. "Impact of Release Intervals on Empirical Research into Software Evolution, with Application to the Maintainability of Linux," Larry G. Thomas, Stephen R. Schach, Gillian Z. Heller, Jeff Offutt, IET Software, 3(1):58-66, February 2009.
  6. "Quantitatively Measuring Object-Oriented Couplings," Jeff Offutt, Aynur Abdurazik and Steve Schach. Software Quality Journal, Springer's Software Quality Journal, 6(4):489-517, December 2008, doi: 10.1007/s11219-008-9051-x.
  7. "Using Coupling-based Weights for the Class Integration and Test Order Problem," Aynur Abdurazik and Jeff Offutt. The Computer Journal, pages 1-14, August 2007, doi: 10.1093/comjnl/bxm054.
  8. "Test Sequence Generation for Integration Testing of Component Software," Leonard Gallagher and Jeff Offutt. The Computer Journal, to appear.
  9. "Bytecode-based Analysis for Increasing Class-Component Testability," Supaporn Kansomkeat, Jeff Offutt and Wanchai Rivepiboon. ECTI Transactions on Computer and Information Technology, 2(2), November 2006.
  10. "An Evaluation of Combination Strategies for Test Case Selection," Mats Grindal, Birgitta Lindstrom, Jeff Offutt and Sten F. Andler. Kluwer's Empirical Software Engineering, 11(4):583-611, December 2006.
  11. "Input Validation Analysis and Testing," Jane Hayes and Jeff Offutt. Empirical Software Engineering, 11(4):493-522, December 2006.
  12. "Integration Testing of Object-oriented Components Using Finite State Machines," Leonard Gallagher, Jeff Offutt and Anthony Cincotta. Journal of Software Testing, Verification, and Reliability, 17(1):215-266, January 2007.
  13. "Maintainability of the Kernels of Open-Source Operating Systems: A Comparison of Linux with FreeBSD, NetBSD, and OpenBSD," Liguo Yu, Stephen R. Schach, Kai Chen, Gillian Z. Heller and Jeff Offutt. Journal of Systems and Software, 79:807-815, December 2005.
  14. "Combination Testing Strategies: A Survey," Mats Grindal, Jeff Offutt and Sten F. Andler. Journal of Software Testing, Verification and Reliability, 15(2):97-133, September 2005.
  15. "MuJava: An Automated Class Mutation System," Yu-Seung Ma, Jeff Offutt and Yong Rae Kwon. Journal of Software Testing, Verification and Reliability, 15(2)97-133, , June 2005.
  16. "Testing Web Applications by Modeling with FSMs," Anneliese Andrews, Jeff Offutt and Roger Alexander. Software Systems and Modeling, 4(3), August 2005.
  17. "Categorization of Common Coupling and its Application to the Maintainability of the Linux Kernel," Liguo Yu, Stephen R. Schach, Kai Chen and Jeff Offutt. IEEE Transactions on Software Engineering, 30(10):694-706, October 2004.
  18. "Coupling-based Testing of OO Programs," Roger Alexander and Jeff Offutt. Springer's Journal of Universal Computer Science: Special Issue on Breakthroughs and Challenges in Software Engineering (invited), 10(4):391-427, April 2004.
  19. "Open-Source Change Logs," Kai Chen, Stephen R. Schach, and Jeff Offutt. Kluwer's Empirical Software Engineering, 9:197-210, 2004.
  20. "Quality Impacts of Clandestine Common Coupling," Steve Schach, Bo Jin, David R. Wright, Gillian Z. Heller, and Jeff Offutt. Kluwer's Software Quality Journal, 11(3):211-218, July 2003.
  21. "Determining the Distribution of Maintenance Categories: Survey versus Measurement," Steve Schach, Bo Jin, Liguo Yu, Gillian Z. Heller, and Jeff Offutt. Kluwer's Empirical Software Engineering, 8(4):351-365, December 2003.
  22. "Generating Test Data from State-based Specifications," Jeff Offutt, Shaoying Liu, Aynur Abdurazik, and Paul Ammann. The Journal of Software Testing, Verification, and Reliability, Wiley, 13(1):25-53, March 2003.
  23. "Quality Attributes of Web Software Applications," Jeff Offutt. IEEE Software: Special Issue on Software Engineering of Internet Software, 19(2):25-32, March/April 2002.
  24. "Maintainability of the Linux Kernel," Steve Schach, Bo Jin, David Wright, Gillian Z. Heller, and Jeff Offutt. IEE Proceedings Journal: Special Issue on Open Source Software Engineering, 149(1):18-23, February 2002.
  25. "Generating Test Data from SOFL Specifications," Jeff Offutt and Shaoying Liu. The Journal of Systems and Software. 49(1):49-62, December 1999.
  26. "The Dynamic Domain Reduction Procedure for Test Data Generation," Jeff Offutt, Zhenyi Jin, and Jie Pan. Software Practice and Experience, 29(2):167-193, January 1999.
  27. "Coupling-based Criteria for Integration Testing," Jeff Offutt and Zhenyi Jin. The Journal of Software Testing, Verification, and Reliability, 8(3):133-154, September 1998.
  28. "The SOFL Approach: An Improved Principle for Requirements Analysis," Shaoying Liu, Jeff Offutt, Mitsuru Ohba and Keijiro Araki. Transactions of Information Processing Society of Japan. Vol 39, No. 6, June 1998, pages 1973-1989.
  29. "SOFL : A Formal Engineering Methodology for Industrial Applications," Shaoying Liu, Jeff Offutt, Chris Ho-Stuart, Yong Sun, and Mitsuru Ohba. IEEE Transactions on Software Engineering, Special Issue on Formal Methods. Vol 24, No. 1, January 1998, pages 337-344.
  30. "Automatically Detecting Equivalent Mutants and Infeasible Paths," Jeff Offutt and Jie Pan. The Journal of Software Testing, Verification, and Reliability. Vol 7, No. 3, pages 165-192, September 1997.
  31. "An Approach to Fault Modeling and Fault Seeding using the Program Dependence Graph," Mary Jean Harrold, Jeff Offutt, and Kanupriya Tewary. The Journal of Systems and Software. Vol 36, No. 3, March 1997, pages 273-295.
  32. "An Experimental Determination of Sufficient Mutation Operators," Jeff Offutt, Gregg Rothermel, Christian Zapf, Roland Untch and Ammei Lee. ACM Transactions on Software Engineering Methodology. Vol 5, No. 2, April 1996, pages 99-118.
  33. "An Experimental Evaluation of Data Flow and Mutation Testing," A. J. Offutt, J. Pan, T. Zhang, and K. Tewary. Software Practice and Experience. Vol. 26, No. 2, February 1996, pages 165-176.
  34. "Using Compiler Optimization Techniques to Detect Equivalent Mutants," A. J. Offutt and W. M. Craft. The Journal of Software Testing, Verification, and Reliability, Vol. 4, No. 3, September 1994, pages 131-154.
  35. "An Empirical Evaluation of Weak Mutation," A. J. Offutt and S. D. Lee. IEEE Transactions on Software Engineering, Vol. 20, No. 5, May 1994, pages 337-344.
  36. "Experimental Results from an Automatic Test Case Generator," R. A. DeMillo and A. J. Offutt. ACM Transactions on Software Engineering Methodology, Vol. 2, No. 2, April 1993, pages 109-175.
  37. "A Software Metric System for Module Coupling," A. J. Offutt, M. J. Harrold, and P. Kolte. The Journal of Systems and Software, Vol. 20, No. 3, March 1993, pages 295-308.
  38. "Estimation and Enhancement of Real-Time Software Reliability through Mutation Analysis," R. Geist, A. J. Offutt, and F. Harris. IEEE Transactions on Computers Special Issue on Fault-Tolerant Computing, Vol. 41, No. 5, May 1992, pages 550-558.
  39. "Investigations of the Software Testing Coupling Effect," A. J. Offutt. ACM Transactions on Software Engineering Methodology, Vol. 1, No. 1, January 1992, pages 3-18.
  40. "An Integrated Automatic Test Data Generation System," A. J. Offutt. Journal of Systems Integration, Vol. 1, No. 3, November 1991, pages 391-409.
  41. "Constraint-Based Automatic Test Data Generation," R. A. DeMillo and A. J. Offutt. IEEE Transactions on Software Engineering, Vol. 17, No. 9, September 1991, pages 900-910.
  42. "A Fortran Language System for Mutation-Based Software Testing," K. N. King and A. J. Offutt. Software Practice and Experience, Vol. 21, No. 7, July 1991, pages 686-718.
  43. "Software Testing Technology," A. J. Offutt. The ITEA Journal of Test and Evaluation, Vol. 7, No. 2, Spring 1986, pages 18-31.

• 78 papers in refereed conferences.
• 9 fully refereed short workshop papers.
• 30 technical reports and unrefereed publications
• SELECTED RECENT CONFERENCE PUBLICATIONS
  1. "An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage," Garrett Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt. The 2010 International Conference on Software Engineering Research and Practice, Las Vegas Nevada, USA. To appear.
  2. "Applying Mutation Testing to Web Applications," Upsorn Praphamontripong and Jeff Offutt. Sixth Workshop on Mutation Analysis (Mutation 2010), April 2010, Paris, France.
  3. "Mutation at System and Functional Levels," Pedro Reales Mateo, Macario Polo Usaola and Jeff Offutt. Sixth Workshop on Mutation Analysis (Mutation 2010), April 2010, Paris, France.
  4. "An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-uses and Prime Path Coverage," Nan Li, Upsorn Praphamontripong and Jeff Offutt. Fifth Workshop on Mutation Analysis (Mutation 2009), April 2009, Denver CO.
  5. "Comparison of Unit-Level Automated Test Generation Tools," Shuang Wang and Jeff Offutt. Fifth Workshop on Mutation Analysis (Mutation 2009), April 2009, Denver CO.
  6. "A Comparative Evaluation of Tests Generated from Different UML Diagrams," Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik and Andrea Baldini. Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pages 867-872, August 2008, Phuket Thailand.
  7. "Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications," Birgitta Lindström, Jeff Offutt and Sten Andler. 1st IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), pages 112-120, April 2008, Lillehammer, Norway.
  8. "An Industrial Case Study of Bypass Testing on Web Applications," Jeff Offutt, Qingxiang Wang and Joann J. Ordille. 1st IEEE International Conference on Software Testing, Verification and Validation (ICST 2008 Industry Track), pages 465-474, April 2008, Lillehammer, Norway.
  9. "Generating Trace-Sets for Model-based Testing," Birgitta Lindstrom, Paul Pettersson and Jeff Offutt. 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007), November 2007, Trollhattan, Sweden.
  10. "Automated Testing of Timeliness : A Case Study," Robert Nilsson and Jeff Offutt. Second Workshop on Automation of Software Test (AST 2007), May 2007, Minneapolis, MN, USA.
  11. "Conflict Management when Using Combination Strategies for Software Testing," Mats Grindal, Jeff Offutt and Jonas Mellin. Australian Software Engineering Conference ASWEC 2007, April 2007, Melbourne, Australia.
  12. "Input Parameter Modeling for Combination Strategies," Mats Grindal and Jeff Offutt. IASTED International Conference on Software Engineering (SE 2007), February 2007, Innsbruck, Austria.
  13. "Mutation Testing implements Grammar-Based Testing," Jeff Offutt, Paul Ammann and Lisa (Ling) Liu. Second Workshop on Mutation Analysis (Mutation 2006), November 2006, Raleigh, NC.
  14. "An Industrial Case Study of Structural Testing Applied to Safety-critical Embedded Software," Jing Guan, Jeff Offutt and Paul Ammann. International Symposium on Empirical Software Engineering, ISESE 2006, September 2006, Rio de Janeiro, Brazil.
  15. "On the Testing Maturity of Software Producing Organizations," Mats Grindal, Jeff Offutt and Jonas Mellin. Testing: Academia & Industry Conference - Practice And Research Techniques, TAIC PART 2006, August 2006 Windsor, UK.
  16. "The Class-Level Mutants of MuJava," Jeff Offutt, Yu-Seung Ma and Yong-Rae Kwon. Workshop on Automation of Software Test (AST 2006). pages 78-84, May 2006, Shanghai, China.
  17. "Automatically Testing Interacting Software Components," Leonard Gallagher and Jeff Offutt. Workshop on Automation of Software Test (AST 2006). pages 57-63, May 2006, Shanghai, China.
  18. "Coupling-based Class Integration and Test Order," Aynur Abdurazik and Jeff Offutt. Workshop on Automation of Software Test (AST 2006). pages 50-56, May 2006, Shanghai, China.
  19. "Test Case Generation for Testing of Timeliness," Robert Nilsson, Jeff Offutt and Jonas Mellin. Second Workshop on Model Based Testing. March 2006 Vienna, Austria.
  20. "Class-Component Testability Analysis," Supaporn Kansomkeat, Jeff Offutt and Wanchai Rivepiboon. 5th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems. February 2006, Madrid Spain.
  21. "Class-Component Testability Analysis," Supaporn Kansomkeat, Jeff Offutt and Wanchai Rivepiboon. 5th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems. February 2006, Madrid Spain.

SOFTWARE PROJECT EXPERIENCE

• Mutation Testing for Java (MuJava). This testing tool is distributed under an open source software model. µJava is a mutation testing system for Java programs that supports the object-oriented features of inheritance, polymorphism and dynamic binding. It was built as an international collaborative effort between myself at GMU and Yu-Seung Ma at the Korean Advanced Institute for Science and Technology (KAIST), as part of her PhD work. µJava is freely available from websites at GMU and KAIST (http://cs.gmu.edu/~offutt/mujava/) and is currently being used at dozens of universities for research and teaching purposes. Several papers have been published about µJava, it was featured at the research tool demo session at the International Conference on Software Engineering in May 2006, and dozen of papers by other researchers used µJava.
• Software Engineering Experimentation on the Web (SEEWeb). This NSF-funded research project is creating a one-stop web site for downloading software engineering experimental artifacts. The projects will contain source code, requirements, design models, test cases, buggy versions, and other artifacts. An initial prototype was built in Summer 2003 as part of an NSF Research Experience for Undergraduates project.
• JOSCAT. This tool measures coupling for object-oriented software.
• Coverage-based Analysis Tool (CBAT). This NSF-funded research project is creating a fully functional, multi-capability, robust analysis and coverage tool for Java. This tool will allow researchers to generate a large number of coverage graphs that represent Java programs, which can then be used for test generation, test coverage measurement, metrics computation, maintenance computations, and other purposes. CBAT focuses on inheritance and polymorphic relationships, as well as traditional control and data flow information. This tool is being built as part of Roger Alexander's PhD dissertation.
• Coupling-based Testing (CoupTest). This NSF-funded research project created an analysis tool to extract coupling relationships and measure coverage of tests according to the coupling-based test technique. This tool was built in Java for Java programs.
• Specification-based Testing (SpecTest). This Rockwell/Collins-funded research project developed a tool to measure the extent to which system-level test data satisfies a set of test criteria that are defined on formal specifications and design models of the software. The tool works with the NRL's SCRTool, which implements the SCR specification language, and Rational Corporation's Rose tool, which supports the Unified Modeling Language. This tool was primarily built by Aynur Abdurazik, initially as part of her MS thesis.
• Program Mutation for SDI Applications (MOTHRA). This research project involved approximately 10 people in the design and development of a mutation-based unit-level software testing system known as Mothra. Mothra is approximately 50,000 lines of C code, executes in Unix environments, and among other tools includes a parser, an interpreter, a test harness, a test case manager, and several user interfaces. While a graduate student, Dr. Offutt and Dr. Rich DeMillo (currently of the Georgia Institute of Technology) were the major designers of Mothra, and Offutt was responsible for over 50% of the implementation, including the interpreter, the test harness, the test case manager, and the initial user interfaces. This work has yielded numerous papers in refereed conferences and journals; Mothra has been used as a research and demonstration vehicle in over a dozen sites.
• Godzilla. As part of his doctoral work, Offutt designed and implemented a system to automatically generate test data for unit testing. Godzilla is approximately 25,000 lines of C code, executes in Unix environments, and is fully integrated with Mothra.
• HyperMothra, Leonardo, and Equalizer. These proof-of-concept systems all involve major modifications to Mothra to improve the efficiency of the mutation testing process. These systems provide extended functionality, use different basic algorithms, and utilize parallel hardware architectures. These projects were all implemented by graduate students as Master's projects, using Offutt's design and under his direction.
• IMSCU. This streamlined mutation system was built by several graduate students according to Offutt's specification and under his direction. Two versions have been built, one in C (about 8,000 lines of code) and another in Modula-2 (about 5,000 lines). IMSCU has been used in several course projects at both the graduate and undergraduate level, and as a research vehicle in software metrics experimentation. In an undergraduate senior-level project-oriented course, IMSCU was used as a project template, where the class was supplied with a partial implementation and a system architectural design, and divided into five teams, each of which derived requirements for, designed, implemented, and tested an additional major subsystem. All subsystems were integrated into a complete system, which was then tested as a whole. This project involved reuse, maintenance, integration, and all phases of the software life cycle, and was managed by Offutt to provide practical, industrial-oriented experience to the students.
• Albert. This project to build a computer algebra system for nonassociative identities was led by Dr. Jacobs of Clemson University. Offutt designed both the overall system and a command-language user interface, which were implemented by graduate students. This system is currently used by mathematicians around the world to support research in nonassociative algebra.

• Conference Organizing Committees
  • Chair of Steering Committee IEEE International Conference on Software Testing, Verification and Reliability (ICST)
  • Program Chair, Second IEEE International Conference on Software Testing, Verification and Reliability (ICST 2009)
  • Program Chair, Mutation 2007 (IEEE)
  • Chair, Ninth IEEE Workshop on Empirical Studies of Software Maintenance
  • Program Chair, 2001 International Conference on Engineering of Complex Computer Software % (ICECCS)
  • Treasurer, 1996 ACM/IEEE Computer Assurance Conference
• Honors and Awards:
  • Outstanding Researcher Award, Department of Information and Software Engineering, George Mason University, 2005
  • Outstanding Teaching Award, School of Information Technology and Engineering, George Mason University, 2003.
  • Who's Who in Science and Engineering
  • Outstanding Paper Award, ICECCS, 1996
• Journal Editorial Boards
  • Editor-in-Chief, The Journal of Software Testing, Verification, and Reliability (since 2006)
  • IEEE Transactions on Software Engineering (2001-2005)
  • The Journal of Software and Systems Modeling (since 2004)
  • Empirical Software Engineering Journal (since 2006)
  • Software Quality Journal (since 2002)
• Invited Talks:
  • 2010
    • Keynote speaker at SOFTEC, The Model-Driven Test Design Process, Kuala Lumpur Malaysia, July 2010.
    • Research tutorial at SOFTEC, Testing Dynamic Aspects of Web Applications, Kuala Lumpur Malaysia, July 2010.
    • Seminar lecture at TAROT, The Model-Driven Test Design Process, Austria, June 2010.
    • Research lecture at TAROT, Testing Dynamic Aspects of Web Applications, Austria, June 2010.
    • Invited talk at University of Texas at Dallas, Automatic Test Data Generation : Who, When and Where?, April 2010.
  • 2009
    • Invited talk at University of Boston, Automatic Test Data Generation : Who, When and Where?, December 2009.
    • Invited talk at Telechips, The Model-Driven Test Design Process, Seoul Korea, October 2009.
    • Two day seminar at Sansung Electronics, Introduction to Software Testing, Suwon Korea, October 2009.
    • Full-day seminar at Sogang University, Introduction to Software Testing, Seoul Korea, October 2009.
    • Keynote speaker at the 12th International Conference on Quality Engineering in Software Technology (Conquest), Nuremberg Germany, September 2009.
    • IDGA’s Military Test and Evaluation Summit, Tysons Corner Virginia, June 2009. Invited speaker at IDGA’s System of Systems Engineering Forum, Tysons Corner, DC.
    • Invited speaker at IDGA's System of Systems Engineering Forum, Tysons Corner, DC.
    • Keynote speaker at the third IEEE International Conference on Secure Software Integration and Reliability Improvement, Shanghai China.
    • Keynote speaker at the Mutation 2009 workshop, Denver CO.
    • Invited speaker at University of Delaware.
  • 2008
    • Keynote speaker at the 2nd International Research Workshop on Advances and Innovations in Systems Testing, Memphis TN.
    • Keynote speaker at the 10th International Conference on Formal Engineering Methods, Japan.
    • Invited research presentation at Network Solutions.
  • 2007
    • Invited speaker at Wakefield School in The Plains, VA, "Internet Safety."
  • 2006
    • Invited Lecturer for the ARTES Summer School (A network for Real-Time research and graduate Education in Sweden), August 2006, Nasslingen, Sweden. Presented lectures to PhD students in software testing.
    • Invited speaker at GW Community School in Fairfax, VA, "Internet Safety for Teenagers."
    • Invited research presentation at Avaya Research Laboratory.
    • Invited presentation on software testing at Freddie Mac.
    • Invited speaker at Robinson Secondary School in Fairfax, VA, "Computing and Science."
  • 2005
    • Invited research presentation at Avaya Research Laboratory.
    • Invited research presentation at University of Skšovde, Skšovde Sweden.
  • 2004
    • Invited to attend the 2004 University of Washington and Microsoft Research Summer Institute, Trends in Testing: Theory, Techniques and Tools. Workshop of 45 leaders in software testing from industry and academia.
    • Invited research presentation at the Fudan University, Shanghai, China, Shanghai University, Shanghai, China, Chulalongkorn University, Bangkok, Thailand, Washington State University, Georgia Institute of Technology (2004, 2002, 1992, 1989).
  • 2003
    • 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.
  • 2002
    • Invited tutorial speaker for CONQUEST 2002, Quality Engineering in Software Technology, September 18-20, 2002, Nuremberg, Germany. Presented tutorial to industry practitioners on “Designing Software for the Web”.
    • Invited Lecturer for the ARTES Summer School (A network for Real-Time research and graduate Education in Sweden), August 20-23, 2002, Nšasslingen, Sweden. Presented lectures to PhD students in "Integration Testing of Real-Time and Web-based Software."
    • Invited research presentation at the National Research Council of Canada, Vanderbilt University, Colorado State University.
  • 2000
    • Invited Lecturer for the Summer School in Engineering of Complex Technical Systems (ECTS 2000), August 14-18, 2000, University of Skšovde, Skšovde Sweden. Presented lectures to industry practitioners and students on techniques for "Integration Testing and Specification-based Testing of Complex Software."
  • Conference Panels
    • Panel moderator and member at the 2002 International Symposium on Software Reliability Engineering (ISSRE ’02). Annapolis, MD, November 2002. September 2000. Panel title: Opensource 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 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.
  • Previous Years
    • Invited research presentation at the Linkšoping University, Linkšoping Sweden (1998), Hiroshima City University, Hiroshima, Japan (1996), Beijing University of Aeronautics and Astronautics Software Engineering Institute (1996), Society for Software Quality (1996), Rockwell Collins Avionics (1995), Purdue University (1988, 1993), Bellcore (1988), Texas Tech University (1988), University of Tennessee (1988), University of Colorado (1992), Florida Atlantic University (1992), Old Dominion University (1993).
• Director, eleven completed doctoral students, eight in progress.
• Director, 14 completed master's theses.
• Referee for NSF and numerous journals and conferences.
• Professional Societies:
  • Association for Computing Machinery
  • IEEE Computer Society