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
|
A Java mutation tool
Jeff Offutt is a full professor
of Software Engineering
in the Volgenau school of Information Technology
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.
His current research
interests include software testing, analysis and testing of web
applications, object-oriented program analysis, module and
integration testing, formal methods, and software maintenance.
He has published over 100 refereed research papers
and has received funding
from various government agencies and companies.
His current projects include
testing of web applications,
analysis and testing of object-oriented software,
measuring software maintenance of open-source software,
and deriving tests from formal specifications of safety critical software.
He is on the technical board of advisors for Certess, Inc.
He received the Best Teacher Award from
the School of Information Technology & Engineering in 2003.
His textbook,
Introduction to Software Testing
(co-authored with Paul Ammann),
was published by Cambridge University Press in January 2008.
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 software testing, construction, design, user interface
design, experimentation, and analysis.
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.
Offutt is editor-in-chief of Wiley's journal of
Software Testing, Verification and Reliability,
is chair of the
steering committee for the
International Conference on Software Testing, Verification and Validation
(ICST)
and program co-chair for ICST 2009,
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 US, Japan, China, and Sweden.
He has been
involved in a number of software proof-of-concept research systems,
including muJava,
Mothra, Godzilla, CBat, Mistix, Albert, CoupTest, and
SpecTest, several of which have been used by many other software
engineering researchers. Offutt previously worked on the Software
Test and Evaluation Project, for Georgia Tech's Software Engineering
Research Center, and helped design and implement the Mothra mutation
testing system with
Rich DeMillo.
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. He 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.
Curriculum vita in
html.
Current PhD Students
- Guillermo Calderon-Meza.
- Blaine Donley.
Testing state behavior of web applications.
- Jing Guan.
Testing and verifying wireless network protocols using logical methods.
- Gary Kaminski. Logic-based testing
- Nan Li.
- Upsorn Praphamontripong.
Performance and reliability analysis of web software applications.
- Shuang Wang.
- Wuzhi Xu.
Dissertation title: Perturbation Testing for Syntax-based Applications.
Relevant advice ... part-time or full-time?
PhD Graduates
- 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.
Software Testing Online Resources at MTSU