A few of my web applications
|
Research and Publications
|
It would be easier to write papers on testing if you didn't have to
contemplate actually using the stuff you are writing about.
- Richard Carver
Current Research Project Descriptions
|
Invited Talks, Tutorials, and Short Courses
|
The muJava mutation tool
Jeff Offutt
is a full professor
of Software Engineering
in the Volgenau school of Engineering
at George Mason University.
He also holds a part-time visiting faculty position at
University of Skövde,
Skövde Sweden, where he participates in the
Distributed Real-Time Systems Research Group (DRTS),
contributing expertise on software engineering and software testing.
He has published over 150 refereed research papers,
has an h-index of 51
(Google Scholar),
and has received funding
from many government agencies and companies.
His current research projects include analysis and testing of web applications,
test automation,
model-based testing of safety critical software,
and usable security.
He was on the technical board of advisors for Certess, Inc.
He leads the MS in Software Engineering program at GMU,
teaches MS and PhD courses in Software Engineering and has
developed new courses in a variety of Software Engineering subjects,
including
web engineering, software testing, construction, design, usability, experimentation, and analysis.
His textbook,
Introduction to Software Testing
(co-authored with Paul Ammann),
was published by Cambridge University Press in January 2008
and is the leading worldwide textbook in software testing.
He was awarded the George Mason University Teaching Excellence Award, Teaching With Technology, in 2013, and was named a GMU Outstanding Faculty member in 2008 and 2009.
Offutt is editor-in-chief of Wiley's journal of
Software Testing, Verification and Reliability,
co-founded the IEEE International Conference on Software Testing, Verification and Validation (ICST),
was the first chair of its
steering committee,
and was Program Chair for
ICST 2009.
He also has served on numerous conference program committees,
was program chair for ICECCS 2001,
has been on the editorial boards for the
Springer's Empirical Software Engineering Journal (2006-),
the Journal of
Software and Systems Modeling (2002-),
the
Software Quality Journal (2002-),
and
IEEE Transactions on Software Engineering (2001-2005),
is a regular reviewer for NSF and several major research journals,
and has been invited to speak
throughout the world.
He has been
involved in a number of software proof-of-concept research systems,
including muJava,
Mothra, Godzilla, CBat, Mistix, Albert, CoupTest, and SpecTest,
which have been used by thousands of other software engineering researchers.
He has invented,
developed,
and experimentally validated numerous algorithms and engineering techniques in software testing.
Offutt has made fundamental contributions to several software testing problems,
including mutation,
automatic test data generation,
object-oriented testing,
input space partitioning,
specification-based testing,
model-based testing,
and testing of web applications.
He has also published papers on software metrics,
maintenance,
and software engineering education.
His doctoral research was a method for automatically generating test data
to satisfy mutation analysis and included algorithms and an implementation
of an automatic test data generator that was integrated with the Mothra
system. Largely by using the Mothra system, he invented, developed,
and experimentally validated algorithms and engineering techniques that
proved that mutation testing can be practical and effective.
Dr. Offutt received
a BS degree with a double major in mathematics and data processing from
Morehead State University,
Morehead,
Kentucky,
in 1982,
an MS degree in computer science from the
Georgia Institute of Technology
in 1985, and a PhD in computer science from the
Georgia Institute of Technology
in 1988.
From 1988 to 1992, Offutt was an Assistant Professor in the department of
Computer Science at Clemson University.
Curriculum vita in
PDF.
Current PhD Students
- Blaine Donley.
Testing state behavior of web applications.
- Lin Deng.
- Anders Eriksson. Skövde university, co-advising with Birgitta Lindström. Model-Based Testing.
- Jing Guan. Dissertation title: Software Defined Radio Architecture Testing for Wireless Network Applications in Embedded Communication Systems.
- Jing Jin. Dissertation title: Design of Evasion Attacks and Measurement of Anomaly Detection Resistance.
- Nan Li. Dissertation title: A Smart Structured Test Automation Language (SSTAL).
- Upsorn Praphamontripong. Dissertation title: Testing Web Applications with Mutation Analysis.
- Sunitha Thummala. Modeling web applications.
Relevant advice ... part-time or full-time?
PhD Graduates
- Gary Kaminski. Dissertation title: Applications of Logic Coverage Criteria and Logic Mutation to Software Testing. (primary advisor: Paul Ammann, defense October 2010)
- Birgitta Lindström
of University of Skövde in Sweden.
Testability of Dynamic Real-Time Systems.
Main advisor: Sten Andler.
University of Skövde in Sweden, co-advised with Sten Andler.
Current position: Skövde University, Sweden (2009)
- Aynur Abdurazik.
Coupling-based Analysis of Object-Oriented Software.
(PDF of Aynur's Dissertation)
(2007)
- Mats Grindal.
Evaluation of Combination Strategies for Practical Testing.
University of Skövde in Sweden, co-advised with Sten Andler and Jonas Mellin.
Current position: ENEA, Sweden
- Supaporn Kansomkeat.
An Analysis Technique to Increase Testability of Class-Components
(PDF of Supaporn's Dissertation)
(2007)
Chulalongkorn University in Thailand, co-advised with Wanchai Rivebipoon.
Current position: Prince of Songkla University, Thailand
- Robert Nillson.
Automatic Timeliness Testing of Dynamic Real-Time Systems
(PDF of Robert's Dissertation)
(2006)
University of Skövde in Sweden, co-advised with Sten Andler and Jonas Mellin.
Current position: Google Switzerland
- Yu-Seung Ma
Object-oriented Mutation Testing for Java (2005)
KAIST University in Korea, co-advised with Yong-Rae Kwon.
- Roger Alexander.
Testing the Polymorphic Relationships of Object-Oriented Programs
(PDF of Roger's Dissertation)
(2001)
Current position: Associate Professor, Colorado State University.
- Jenny Jin.
A Software Architecture-based Testing Technique
(2000)
- Michelle Lee (Li Li).
Change Impact Analysis for Object-Oriented Software
(PDF of Michelle's Dissertation)
(1998)
Current Position: Director, Product Management & Engineering, Verisign
- Jane Hayes.
Input Validation Testing:
A System Level, Early Lifecycle Technique.
(PDF of Jane's Dissertation)
(1998)
Current Position: Associate Professor with tenure, University of Kentucky.
- Roland Untch.
Schema-based Mutation Analysis
(1995, co-advisor with
Dr. Mary Jean Harrold)
Current Position: Professor, Middle Tennessee State University.
- George P Burdell.
Analysis of Hymenoptera Induced Melittin on Canines (1992)
Current Position: Retired.
Former MS Students
- Chandra Alluri.
Thesis title: Testing Calculation Engines Using Input Space Partitioning and Automation.
(PDF of Thesis)
(PDF of Presentation)
(2008)
- Vasileios Papadimitriou.
Thesis title: Automating Bypass Testing for Web Applications.
(PDF of Thesis)
(PPT presentation)
(2006)
- Wei Ding,
Using Mutation to Generate Tests from Specifications
(thesis advisor: Paul Ammann), 2000.
Wei and her professors
- Aynur Abdurazik,
Generating Test Data From UML Specifications, 1999.
- Alisa Irvine,
The Effectiveness of Category-partition Testing of
Object-oriented Software,
(1994).
- Jie Pan,
Using Constraints to Detect Equivalent Mutants (1994).
- Christian Zapf,
Distributing Mutation on a Network of Sun Servers (1993).
- Tracey Oakes,
A WIMP Interface to Mothra (1993).
- David Pressley,
Data Flow Analysis for Generating Statement Coverage Constraints (1992).
- Raad Yacu,
An Improved Procedure for Generating Statement Coverage Constraints,
1991.
- Scott Fichter,
Parallelizing Mutation on a Hypercube (1991).
- Stephen D. Lee,
Weak vs. Strong: An Empirical Comparison of Mutation Variants (1991).
- W. Michael Craft,
Detecting Equivalent Mutants Using Compiler Optimization Techniques (1989).
- Jason Emil Seaman,
Using Symbolic Evaluation to Address the Internal Variable Problem (1989).
|
Some Random Thoughts and Essays
|
|
GMU's Responsible Use of Computing
|
In the Spring of 1994, I was asked to chair a GMU task force to draft
new policies for computer use on campus. After over a year of work,
the resulting document was finally approved on August 24th, 1995.
The
Responsible Use of Computing
and its associated
StopIt Process
are now official policy of George Mason University.
The
Security Review Panel
is the official maintainer of this policy.
My Erdos number is 3.
