RESEARCH AND TEACHING AREAS

Research area is software engineering with emphases in software testing, analysis and testing of web applications, object-oriented program analysis, module and integration testing, formal methods, and software maintenance. Current projects in testing web applications and web services, generating tests for object-oriented software, and maintenance of open-source software. He has published over 100 refereed research papers in software engineering journals and conferences. Offutt is editor-in-chief of Wiley's journal of Software Testing, Verification and Reliability, is the chair of the steering committee for IEEE International Conference on Software Testing, Verification, and Validation (ICST) and program co-chair for ICST 2009, is on the editorial boards for the Empirical Software Engineering Journal, the Journal of Software and Systems Modeling, and the Software Quality Journal, was on the IEEE Transactions on Software Engineering from 2001 to 2005, and is program chair for ICST 2009. His book, Introduction to Software Testing (co-authored with Paul Ammann), was published by Cambridge University Press in January 2008. He received the Best Teacher Award from the School of Information Technology and Engineering in 2003. Offutt received a PhD degree in Computer Science from the Georgia Institute of Technology, and is a member of the ACM and IEEE Computer Society. He is on the technical board of advisors for Certess, Inc.

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.

• 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. "Quantitatively Measuring Object-Oriented Couplings", Jeff Offutt, Aynur Abdurazik and Steve Schach. Software Quality Journal, to appear.
  2. "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.
  3. "Test Sequence Generation for Integration Testing of Component Software", Leonard Gallagher and Jeff Offutt. The Computer Journal, to appear.
  4. "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.
  5. "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.
  6. "Input Validation Analysis and Testing", Jane Hayes and Jeff Offutt. Empirical Software Engineering, 11(4):493-522, December 2006.
  7. "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.
  8. "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.
  9. "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.
  10. "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.
  11. "Testing Web Applications by Modeling with FSMs", Anneliese Andrews, Jeff Offutt and Roger Alexander. Software Systems and Modeling, 4(3), August 2005.
  12. "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.
  13. "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.
  14. "Open-Source Change Logs", Kai Chen, Stephen R. Schach, and Jeff Offutt. Kluwer's Empirical Software Engineering, 9:197-210, 2004.
  15. "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.
  16. "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.
  17. "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.
  18. "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.
  19. "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.
  20. "Generating Test Data from SOFL Specifications", Jeff Offutt and Shaoying Liu. The Journal of Systems and Software. 49(1):49-62, December 1999.
  21. "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.
  22. "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.
  23. "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.
  24. "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.
  25. "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.
  26. "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.
  27. "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.
  28. "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.
  29. "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.
  30. "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.
  31. "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.
  32. "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.
  33. "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.
  34. "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.
  35. "An Integrated Automatic Test Data Generation System". A. J. Offutt. Journal of Systems Integration, Vol. 1, No. 3, November 1991, pages 391-409.
  36. "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.
  37. "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.
  38. "Software Testing Technology", A. J. Offutt. The ITEA Journal of Test and Evaluation, Vol. 7, No. 2, Spring 1986, pages 18-31.

• 70 papers in refereed conferences.
• 9 fully refereed short workshop papers.
• 30 technical reports and unrefereed publications
• SELECTED RECENT CONFERENCE PUBLICATIONS
  1. "Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications", Birgitta Lindstr\"{o}m, {\bf Jeff Offutt} and Sten Andler. 1st IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), pages 112-120, April 2008, Lillehammer, Norway.
  2. "An Industrial Case Study of Bypass Testing on Web Applications", {\bf 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.
  3. "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.
  4. "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.
  5. "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.
  6. "Input Parameter Modeling for Combination Strategies", Mats Grindal and Jeff Offutt. IASTED International Conference on Software Engineering (SE 2007), February 2007, Innsbruck, Austria.
  7. "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.
  8. "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.
  9. "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.
  10. "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.
  11. "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.
  12. "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.
  13. "Test Case Generation for Testing of Timeliness", Robert Nilsson, Jeff Offutt and Jonas Mellin. Second Workshop on Model Based Testing. March 2006 Vienna, Austria.
  14. "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.
  15. "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 project is a mutation tool that supports the object-oriented features of inheritance, polymorphism and dynamic binding for Java. It is available on the Web for researchers and educators. http://www.ise.gmu.edu/mujava/
• 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 is being built in Summer 2003 as part of an NSF Research Experience for Undergraduates project. http://www.ise.gmu.edu/seeweb/
• 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.

• 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
• Invited Talks:
  • 2005
    Invited research presentation at Avaya Research Laboratory.
    • 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, ten completed doctoral students, eight in progress. Co-advisor, two students at other universities.
  • Director, 14 completed master's theses.
  • Editor-in-Chief, The Journal of Software Testing, Verification, and Reliability
  • Chair of Steering Committee: IEEE International Conference on Software Testing, Verification and Reliability
  • Editorial Boards: IEEE Transactions on Software Engineering; The Journal of Software and Systems Modeling; Software Quality Journal
  • Referee for NSF and numerous journals and conferences.
  • Professional Societies:
    • Association for Computing Machinery
    • IEEE Computer Society