Offutt, Jeff - Department of Computer Science, George Washington University

Advanced Search

Offutt, Jeff - Department of Computer Science, George Washington University

Using UML Collaboration Diagrams for Static Checking and Test Generation
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University
A Software Metric System for Module Coupling A. Jefferson Offutt
Algorithmic Analysis of the Impacts of Changes to Objectoriented Software \Lambda
An Empirical Evaluation of Weak Mutation A. Jefferson Offutt
A Semantic Model of Program Faults A. Jefferson Offutt
Integration Testing Based on Software Couplings \Lambda Zhenyi Jin and A. Jefferson Offutt
ICSEA, 12/98 Input Validation Testing
Applying a Semantic Fault Model to the Empirical Study of Corrective Maintenance
Increased Software Reliability Through Input Validation Analysis and Testing \Lambda
Generating Tests from UML Speci cations Je O utt and Aynur Abdurazik ?
Web Application Bypass Testing Jeff Offutt, Ye Wu, Xiaochen Du and Hong Huang
Procedures for Reducing the Size of Coveragebased Test Sets A. Jefferson Offutt \Lambda
Mutation Testing of Software Using a MIMD Computer A. Jefferson Offutt
Using UML Collaboration Diagrams for Static Checking and Test Generation
A Fortran Language System for MutationBased Software Testing y z Department of Mathematics and Computer Science, Georgia State University, Atlanta, GA 30303,
Couplingbased Integration Testing \Lambda Zhenyi Jin y and A. Jefferson Offutt
An Experimental Determination of Sufficient Mutant Operators
AN ANALYSIS TECHNIQUE TO INCREASE TESTABILITY OF CLASS-COMPONENT Miss Supaporn Kansomkeat
Deriving Tests From Software Architectures \Lambda ITT Industries
skip me skip me Testing ObjectOriented Software Using
Generating Tests from UML Specifications Jeff Offutt and Aynur Abdurazik ?
InterClass Mutation Operators for Java YuSeung Ma
Integrating Research, Reuse, and Integration into Software Engineering Courses
Generating Test Data From Statebased Specifications 1
ConstraintBased Automatic Test Data Generation \Lambda Richard A. DeMillo
Mutation Analysis Using Mutant Schemata Roland H. Untch
Using Compiler Optimization Techniques to Detect Equivalent Mutants
Mutation 2000: Uniting the Orthogonal A. Je erson O utt
Bypass Testing of Web Applications Jeff Offutt, Ye Wu, Xiaochen Du and Hong Huang
Generating Test Data from SOFL Speci cations A. Je erson O utt
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University
Mutation Operators for Ada A. Jefferson Offutt
Criteria for Testing Polymorphic Relationships \Lambda Roger T. Alexander and A. Jefferson Offutt
Analyzing Software Architecture Descriptions to Generate Systemlevel Tests 1
Description of Method-level Mutation Operators for Java Yu-Seung Ma
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage Garrett Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt
An Experimental Evaluation of Data Flow and Mutation Testing A. JEFFERSON OFFUTT y
Quantitatively Measuring Object-Oriented JEFF OFFUTT offutt@gmu.edu
Automatically Detecting Equivalent Mutants and Infeasible Paths \Lambda A. Jefferson Offutt
Anatomy of a Software Engineering Project Catherine L. Bullard, Inez Caldwell, James Harrell, Cis Hinkle, and A. Jefferson Offutt
A Fault Model for Subtype Inheritance and Polymorphism
Phone: 703-993-1530, Mail Stop 4A5, Email: csadmin@cs.gmu.edu, Website: cs.gmu.edu, Revised May 3, 2011 The Volgenau School of Engineering
INPUT VALIDATION TESTING: A SYSTEM LEVEL, EARLY LIFECYCLE TECHNIQUE
AUTOMATING BYPASS TESTING FOR WEB APPLICATIONS
TEAMBUILDING TIPS Dr. Michael McDonald
Introduction to Software Testing Paul Ammann and Jeff Offutt
Mutation Testing implements Grammar-Based Testing Jeff Offutt and Paul Ammann
Using XML to Test Web Software Services
Common Ground Research Day 2002 November 6, 2002 Common Ground Research Day 2002 1
In only four or five years, the World Wide Web has changed from a static collection of HTML web pages to a dynamic engine that powers e-commerce, collaborative work, and distribution
focusengineering Internet software 0740-7459/02/$17.00 2002 IEEE March/April 2002 IEEE SOFTWARE 2 5
Automatically Testing Interacting Software Components Leonard Gallagher
MuJava : An Automated Class Mutation System Yu-Seung Ma1
the one that is most cost effective. It can also be used by software testers to find what areas are affected by the
THE ADHERENCE OF OPEN SOURCE JAVA PROGRAMMERS TO STANDARD CODING PRACTICES
The Dynamic Domain Reduction Procedure for Test Data Generation1
Constraint-Based Automatic Test Data Generation Richard A. DeMillo
A Fortran Language System for Mutation-Based Software Testingy z Department of Mathematics and Computer Science, Georgia State University, Atlanta, GA 30303,
Managing Conflicts when Using Combination Strategies to Test Software Mats Grindal
INPUT PARAMETER MODELING FOR COMBINATION STRATEGIES Mats Grindal
Test Case Generation for Mutation-based Testing of Timeliness
Coverage Criteria for Logical Expressions Paul Ammann, Jeff Offutt and Hong Huang
Procedures for Reducing the Size of Coverage-based Test Sets A. Je erson O utt
The SOFL Approach: An Improved Principle for Requirements Analysis 3
A SOFTWARE ARCHITECTURE-BASED TESTING TECHNIQUE A Dissertation
CHANGE IMPACT ANALYSIS OF OBJECT-ORIENTED Michelle L. Lee (Li Li)
ADVICE ON THE CARE AND FEEDING OF A PROFESSOR A professor is a being who is in charge of a small part of your life. At some point, he will make a notation
COUPLING-BASED ANALYSIS OBJECT-ORIENTED SOFTWARE
Testing Calculation Engines Input Space Partitioning &
A TIME-EFFECTIVE STRATEGY FOR TAKING EXAMS Although college exams are designed to measure how much you have learned in a particular class over a particular
The IT" in a DO IT" Attitude Competition is the best motivator. Many people see competition as an excuse for not
An Experimental Determination of Su cient Mutant Operators
Generating Test Cases for XML-based Web Component
Criteria for Generating Speci cation-based Tests A. Je erson O utt and Yiwei Xiong Shaoying Liu
Maintaining Knowledge Currency in the 21st Century Paul Ammann and Je O utt
Modeling Presentation Layers of Web Applications for Testing Jeff Offutt
An Industrial Case Study of Bypass Testing on Web Applications Jeff Offutt and Qingxiang Wang
Testing Web Services by XML Perturbation Wuzhi Xu, Jeff Offutt and Juan Luo
Generating Test Cases for XML-based Web Component Interactions Using Mutation Analysis
Testing Concurrent Interacting OO Finite State Machines
Integration testing of object-oriented components using finite
3.1. Corrective Maintenance Activities <>
skip me skip me Testing Object-Oriented Software Using
A Software Metric System for Module Coupling A. Je erson O utt
Empirical Software Engineering, 9, 197210, 2004. # 2004 Kluwer Academic Publishers. Manufactured in The Netherlands.
Empirical Software Engineering, 8, 351365, 2003. # 2003 Kluwer Academic Publishers. Manufactured in The Netherlands.
An Empirical Comparison of Modularity of Procedural and Object-oriented Lisa K. Ferrett
Maintainability of the Linux Kernel Stephen R. Schach, Bo Jin, David R. Wright
A Comparative Evaluation of Tests Generated from Different UML Diagrams
Generating Test Data From State-based Speci cations1
Analyzing Software Architecture Descriptions to Generate System-level Tests1
Increased Software Reliability Through Input Validation Analysis and Testing
Input Validation Testing: A Requirements-Driven, System Level, Early Lifecycle Technique
Using Compiler Optimization Techniques to Detect Equivalent Mutants
Mutation Analysis Using Mutant Schemata Roland H. Untch
Generating Trace-Sets for Model-based Testing Birgitta Lindstrom
On the Testing Maturity of Software Producing Organizations Mats Grindal
An Industrial Case Study of Structural Testing Applied to Safety-critical Embedded Software
An Evaluation of Combination Strategies for Test Case Mats Grindal
Empirical Software Engineering 2005 Kluwer Academic Publishers, Manufactured in The Netherlands.
Combination Testing Strategies: Mats Grindal Jeff Offutt Sten F. Andler
Recognizing Authors: An Examination of the Consistent Programmer Hypothesis
Applying Mutation Testing to Web Applications Upsorn Praphamontripong and Jeff Offutt
Mutation at System and Functional Levels Pedro Reales Mateo, Macario Polo Usaola
Modeling and Testing Web-based Applications Ye Wu and Jeff Offutt
Testing Coupling Relationships in Object-Oriented Programs Roger Alexander
The Class-Level Mutants of MuJava Jeff Offutt
UML-based Integration Testing for Component-based Software
Thomas et al. 22-Sep-2008 Page 1 of 24 Impact of release intervals on empirical research into
Yu, Schach, Chen, Heller, Offutt August 05, 2005 Page 1 of 36 Maintainability of the kernels of open-source operating systems
Categorization of Common Coupling and Its Application to the Maintainability
Software Quality Journal, 11, 211218, 2003 2003 Kluwer Academic Publishers. Manufactured in The Netherlands.
Deriving Tests From Software Architectures ITT Industries
An Analysis of OO Mutation Operators Jingyu Hu, Nan Li and Jeff Offutt
Mutation Operators for Ada A. Je erson O utt
HEURISTlCS FOR DETERMINING EQUIVALENCE OF PROGRAH MUTATIONS Douglas Baldwln
An Empirical Evaluation of Weak Mutation A. Je erson O utt
Investigations of the Software Testing Coupling E ect
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-uses and Prime Path Coverage
Comparison of Unit-Level Automated Test Generation Tools Shuang Wang and Jeff Offutt
Managing Conflicts when Using Combination Strategies to Test Software Mats Grindal
An Experimental Evaluation of Data Flow and Mutation Testing A. JEFFERSON OFFUTTy
A Semantic Model of Program Faults A. Je erson O utt
Designing an IT College 1 Designing an IT College
An Integrated Automatic Test Data Generation System A. Jefferson Offutt \Lambda
Maintaining Knowledge Currency in the 21st Century Paul Ammann and Jeff Offutt
the one that is most cost effective. It can also be used by software testers to find what areas are affected by the
Automatically Detecting Equivalent Mutants and Infeasible Paths A. Je erson O utt
Evaluation of Three Specificationbased Testing Criteria Aynur Abdurazik, \Lambda Paul Ammann, y Wei Ding, y and Jeff Offutt ?
The Dynamic Domain Reduction Procedure for Test Data Generation 1
Deriving Tests from Software Architectures
Couplingbased Criteria for Integration Testing \Lambda Zhenyi Jin and A. Jefferson Offutt
Proceedings of the Seventh European Conference On Software Maintenance And Reengineering (CSMR'03) 0-7695-1902-4/03 $17.00 2003 IEEE
Coupling-based Testing of O-O Programs Roger T. Alexander
Testing Web Applications by Modeling with FSMs Anneliese A. Andrews Jeff Offutt Roger T. Alexander
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications
Coupling-based Criteria for Integration Testing Zhenyi Jin and A. Je erson O utt
An Integrated Automatic Test Data Generation System A. Je erson O utt
Inter-Class Mutation Operators for Java Yu-Seung Ma
Service Oriented Architecture Empirical Study Mohammad Abu-Matar Jeff Offutt
Mutation-based Testing Criteria for Timeliness Robert Nilsson
Experimental Results from an Automatic Test Case Generator
Investigations of the Software Testing Coupling Effect
Generating Test Data from SOFL Specifications \Lambda A. Jefferson Offutt
Mutation Testing of Software Using a MIMD Computer A. Je erson O utt
Using Formal Methods To Derive Test Frames In Category-Partition Testing
Analysis of Faults from Subtype Inheritance and Polymorphism
Criteria for Generating Specificationbased Tests \Lambda A. Jefferson Offutt and Yiwei Xiong Shaoying Liu
Automated Testing of Timeliness : A Case Study Robert Nilsson
Evaluation of Three Specification-based Testing Criteria Aynur Abdurazik, Paul Ammann,y Wei Ding,y and Jeff Offutt?
An Experimental Evaluation of Selective Mutation A. Jefferson Offutt Gregg Rothermel
A Fault Model for Subtype Inheritance and Polymorphism \Lambda Jeff Offutt
An Analysis Tool for Couplingbased Integration Testing \Lambda A. Jefferson Offutt, Aynur Abdurazik and Roger T. Alexander
Algorithmic ObjectOriented
Generating Test Cases for XMLbased Web Component Interactions Using Mutation Analysis \Lambda
Scalability Issues with Using FSMWeb to Test Web Applications Anneliese A. Andrews
skip me skip me A Practical System for Mutation Testing
Using Formal Methods To Derive Test Frames In CategoryPartition Testing
MUTATION TESTING OF SOFTWARE USING A MIMD COMPUTER
Generating Test Cases for Web Services Using Data Perturbation
Designing an IT College 1 Designing an IT College
Input Validation Testing: A RequirementsDriven, System Level, Early Lifecycle Technique \Lambda
skip me skip me A Practical System for Mutation Testing
Coupling-based Class Integration and Test Order Aynur Abdurazik
Sample Chapter 1, not for redistribution 1 Introduction to Software Testing
MuJava: A Mutation System for Java Yu-Seung Ma