A. Jefferson Offutt

Orcid: 0000-0002-8657-2557

Affiliations:
  • George Mason University, Fairfax, Virginia, USA


According to our database1, A. Jefferson Offutt authored at least 239 papers between 1987 and 2023.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On transforming model-based tests into code: A systematic literature review.
Softw. Test. Verification Reliab., December, 2023

On subsumption relationships in data flow testing.
Softw. Test. Verification Reliab., September, 2023

Test Automation: From Slow & Weak to Fast, Flaky, & Blind to Smart & Effective.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022
Designing Divergent Thinking, Creative Problem Solving Exams.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022

2021
A Data Flow Analysis Framework for Data Flow Subsumption.
CoRR, 2021

Practice makes better: quiz retake software to increase student learning.
Proceedings of the EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2021

Efficiently Finding Data Flow Subsumptions.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Self determination: A comprehensive strategy for making automated tests more effective and efficient.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Graph Representation for Data Flow Coverage.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
ISSRE 2020 Doctoral Symposium Keynote : How to Get Your Paper Rejected.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

An Empirical Analysis of Blind Tests.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Farewell and thanks for all the reviews.
Softw. Test. Verification Reliab., 2019

I love journal papers and you should too.
Softw. Test. Verification Reliab., 2019

Testing concurrent user behavior of synchronous web applications with Petri nets.
Softw. Syst. Model., 2019

A systematic literature review of techniques and metrics to reduce the cost of mutation testing.
J. Syst. Softw., 2019

Exoneration-based fault localization for SQL predicates.
J. Syst. Softw., 2019

2018
Why do people publish in facade journals?
Softw. Test. Verification Reliab., 2018

How can we recognize facade journals?
Softw. Test. Verification Reliab., 2018

What is a facade journal?
Softw. Test. Verification Reliab., 2018

What is the value of the peer-reviewing system?
Softw. Test. Verification Reliab., 2018

Why don't we publish more TDD research papers?
Softw. Test. Verification Reliab., 2018

Proper references is a matter of scholarship, ethics, and courtesy.
Softw. Test. Verification Reliab., 2018

Editorial: Self-plagiarism is not a thing.
Softw. Test. Verification Reliab., 2018

Editorial: Do we need to teach ethics to PhD students?
Softw. Test. Verification Reliab., 2018

An experimental comparison of edge, edge-pair, and prime path criteria.
Sci. Comput. Program., 2018

Experimental Evaluation of Redundancy in Android Mutation Testing.
Int. J. Softw. Eng. Knowl. Eng., 2018

Reducing the Cost of Android Mutation Testing.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Automatically Repairing SQL Faults.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Using Mutant Stubbornness to Create Minimal and Prioritized Test Sets.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Identifying Useful Mutants to Test Time Properties.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Dazed Droids: A Longitudinal Study of Android Inter-App Vulnerabilities.
Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

2017
Test Oracle Strategies for Model-Based Testing.
IEEE Trans. Software Eng., 2017

Color figures considered harmful.
Softw. Test. Verification Reliab., 2017

Editorial: Beware of predatory journals.
Softw. Test. Verification Reliab., 2017

Is paper reviewing a transaction, a service, or an opportunity?
Softw. Test. Verification Reliab., 2017

Editorial: Accepting shortened papers hurts science.
Softw. Test. Verification Reliab., 2017

Using mutation to design tests for aspect-oriented models.
Inf. Softw. Technol., 2017

Mutation operators for testing Android apps.
Inf. Softw. Technol., 2017

Is Mutation Analysis Effective at Testing Android Apps?
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Novel Self-Paced Model for Teaching Programming.
Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Finding Redundancy in Web Mutation Operators.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Editorial: The Downward Death Spiral Review Process.
Softw. Test. Verification Reliab., 2016

Editorial: How to extend a conference paper to a journal paper.
Softw. Test. Verification Reliab., 2016

Editorial: Changes to STVR's Editorial Board.
Softw. Test. Verification Reliab., 2016

Editorial: STVR policy on extending conference papers to journal submissions.
Softw. Test. Verification Reliab., 2016

How to write an effective "Response to Reviewers" letter.
Softw. Test. Verification Reliab., 2016

How to revise a research paper.
Softw. Test. Verification Reliab., 2016

What to expect of predicates: An empirical analysis of predicates in real world programs.
J. Syst. Softw., 2016

Barriers to Usable Security? Three Organizational Case Studies.
IEEE Secur. Priv., 2016

Analyzing the validity of selective mutation with dominator mutants.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Using Petri Nets to Test Concurrent Behavior of Web Applications.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

An Experimental Evaluation of Web Mutation Operators.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015
How the web resuscitated evolutionary design.
Softw. Test. Verification Reliab., 2015

Editorial: Who Is An Author?
Softw. Test. Verification Reliab., 2015

Editorial: Plagiarism Is For Losers.
Softw. Test. Verification Reliab., 2015

SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering.
Computer, 2015

Mutating aspect-oriented models to test cross-cutting concerns.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A test automation language framework for behavioral models.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A Scalable Big Data Test Framework.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Static analysis of mutant subsumption.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A model-based testing technique for component-based real-time embedded systems.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Towards mutation analysis of Android apps.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014
Editorial: how to get your paper rejected from STVR.
Softw. Test. Verification Reliab., 2014

Globalization - logical flow, motivation, and assumptions.
Softw. Test. Verification Reliab., 2014

Globalization-ethics and plagiarism.
Softw. Test. Verification Reliab., 2014

Globalization - standards for research quality.
Softw. Test. Verification Reliab., 2014

Globalization - references and citations.
Softw. Test. Verification Reliab., 2014

A case study on bypass testing of web applications.
Empir. Softw. Eng., 2014

An industrial study of applying input space partitioning to test financial calculation engines.
Empir. Softw. Eng., 2014

Growing a Reduced Set of Mutation Operators.
Proceedings of the 2014 Brazilian Symposium on Software Engineering, Maceió, Brazil, September 28, 2014

An Evaluation of the Effectiveness of the Atomic Section Model.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

An Empirical Analysis of Test Oracle Strategies for Model-Based Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Mutant Subsumption Graphs.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Designing Deletion Mutation Operators.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Assessing the Influence of Multiple Test Case Selection on Mutation Experiments.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Experimental Evaluation of SDL and One-Op Mutation for C.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Establishing Theoretical Minimal Sets of Mutants.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
A tribute to Mary Jean Harrold.
Softw. Test. Verification Reliab., 2013

Editorial: globalization - language and dialects.
Softw. Test. Verification Reliab., 2013

The globalization of software engineering.
Softw. Test. Verification Reliab., 2013

What I have learned from usability.
Softw. Test. Verification Reliab., 2013

Putting the Engineering into Software Engineering Education.
IEEE Softw., 2013

Mutation at the multi-class and system levels.
Sci. Comput. Program., 2013

Improving logic-based testing.
J. Syst. Softw., 2013

Revision of the SE 2004 curriculum model.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report).
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Transformation Rules for Platform Independent Testing: An Empirical Study.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Empirical Evaluation of the Statement Deletion Mutation Operator.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Town hall discussion of SE 2004 revisions (panel).
Proceedings of the 35th International Conference on Software Engineering, 2013

Evasive bots masquerading as human beings on the web.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Workshop on revisions to SE 2004.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012
Flipping the testing classroom.
Softw. Test. Verification Reliab., 2012

Status and Awards.
Softw. Test. Verification Reliab., 2012

Non-expert reviews considered helpful.
Softw. Test. Verification Reliab., 2012

The <i>h</i>-index beats the impact factor.
Softw. Test. Verification Reliab., 2012

Adding Criteria-Based Tests to Test Driven Development.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Better Algorithms to Minimize the Cost of Test Paths.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
ICST 2009 Special Issue.
Softw. Test. Verification Reliab., 2011

Editorial: What is the purpose of publishing?
Softw. Test. Verification Reliab., 2011

Status of the journal.
Softw. Test. Verification Reliab., 2011

A mutation carol: Past, present and future.
Inf. Softw. Technol., 2011

A logic mutation approach to selective mutation for programs and queries.
Inf. Softw. Technol., 2011

An Analysis of OO Mutation Operators.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Better predicate testing.
Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Teaching software testing: Experiences, lessons learned and the path forward.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Using abstraction and Web applications to teach criteria-based test design.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010
Editorial: Ethics and Publishing.
Softw. Test. Verification Reliab., 2010

Editorial: Agility must be good for testing.
Softw. Test. Verification Reliab., 2010

Editorial: People are approximators, not perfectors.
Softw. Test. Verification Reliab., 2010

Editorial: OOP and discrete math.
Softw. Test. Verification Reliab., 2010

Recognizing authors: an examination of the consistent programmer hypothesis.
Softw. Test. Verification Reliab., 2010

Testing coupling relationships in object-oriented programs.
Softw. Test. Verification Reliab., 2010

Modeling presentation layers of web applications for testing.
Softw. Syst. Model., 2010

Scalability issues with using FSMWeb to test web applications.
Inf. Softw. Technol., 2010

An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Applying Mutation Testing to Web Applications.
Proceedings of the Third International Conference on Software Testing, 2010

Mutation at System and Functional Levels.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Editorial: Testing my new building.
Softw. Test. Verification Reliab., 2009

Editorial: confidentiality and plagiarism.
Softw. Test. Verification Reliab., 2009

Editorial: Running a conference program meeting in the 21st century.
Softw. Test. Verification Reliab., 2009

Editorial: Is software testing essential or accidental?
Softw. Test. Verification Reliab., 2009

TAIC PART 2007 and Mutation 2007 special issue editorial.
J. Syst. Softw., 2009

Impact of release intervals on empirical research into software evolution, with application to the maintainability of Linux.
IET Softw., 2009

Test Sequence Generation For Integration Testing Of Component Software.
Comput. J., 2009

Using Coupling-Based Weights for the Class Integration and Test Order Problem.
Comput. J., 2009

Automatic Test Data Generation : Who, When and Where ?.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Comparison of Unit-Level Automated Test Generation Tools.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008
Editorial: Software testing is an elephant.
Softw. Test. Verification Reliab., 2008

Editorial: Science Fiction and Fantasy.
Softw. Test. Verification Reliab., 2008

Editorial: The journal impact factor.
Softw. Test. Verification Reliab., 2008

Quantitatively measuring object-oriented couplings.
Softw. Qual. J., 2008

A Comparative Evaluation of Tests Generated from Different UML Diagrams.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

An Industrial Case Study of Bypass Testing on Web Applications.
Proceedings of the First International Conference on Software Testing, 2008

Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications.
Proceedings of the First International Conference on Software Testing, 2008

Programmers Ain't Mathematicians, and Neither Are Testers.
Proceedings of the Formal Methods and Software Engineering, 2008

Coverage Criteria for State Based Specifications.
Proceedings of the Formal Methods and Testing, 2008

Introduction to Software Testing.
Cambridge University Press, ISBN: 978-0-511-80916-3, 2008

2007
Editorial: Reflections on the past, present and future.
Softw. Test. Verification Reliab., 2007

Editorial: Why should I review papers?
Softw. Test. Verification Reliab., 2007

Editorial: Standards for reviewing papers.
Softw. Test. Verification Reliab., 2007

Editorial: Introduction and plans for the future.
Softw. Test. Verification Reliab., 2007

Service Oriented Architecture Empirical Study.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Generating Trace-Sets for Model-based Testing.
Proceedings of the ISSRE 2007, 2007

Automated Testing of Timeliness: A Case Study.
Proceedings of the Second International Workshop on Automation of Software Test, 2007

Managing Conflicts When Using Combination Strategies to Test Software.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006
A Tribute to Martin Woodward.
Softw. Test. Verification Reliab., 2006

Integration testing of object-oriented components using finite state machines.
Softw. Test. Verification Reliab., 2006

Maintainability of the kernels of open-source operating systems: A comparison of Linux with FreeBSD, NetBSD, and OpenBSD.
J. Syst. Softw., 2006

Input validation analysis and testing.
Empir. Softw. Eng., 2006

An evaluation of combination strategies for test case selection.
Empir. Softw. Eng., 2006

Test Case Generation for Mutation-based Testing of Timeliness.
Proceedings of the Second Workshop on Model Based Testing, 2006

On the Testing Maturity of Software Producing Organizations.
Proceedings of the Testing: Academia and Industry Conference, 2006

An industrial case study of structural testing applied to safety-critical embedded software.
Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

The Class-Level Mutants of MuJava.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

MuJava: a mutation system for java.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Automatically Testing Interacting Software Components.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Coupling-based Class Integration and Test Order.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2005
MuJava: an automated class mutation system.
Softw. Test. Verification Reliab., 2005

Combination testing strategies: a survey.
Softw. Test. Verification Reliab., 2005

Testing Web applications by modeling with FSMs.
Softw. Syst. Model., 2005

Testing Web Services by XML Perturbation.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Increasing Class-Component Testability.
Proceedings of the IASTED International Conference on Software Engineering, 2005

2004
Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel.
IEEE Trans. Software Eng., 2004

SEEWeb: making experimental artifacts available.
ACM SIGSOFT Softw. Eng. Notes, 2004

Generating test cases for web services using data perturbation.
ACM SIGSOFT Softw. Eng. Notes, 2004

An experimental mutation system for Java.
ACM SIGSOFT Softw. Eng. Notes, 2004

Using an existing suite of test objects: experience from a testing experiment.
ACM SIGSOFT Softw. Eng. Notes, 2004

Coupling-based Testing of O-O Programs.
J. Univers. Comput. Sci., 2004

Open-Source Change Logs.
Empir. Softw. Eng., 2004

Bypass Testing of Web Applications.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Web Application Bypass Testing.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Mutation-Based Testing Criteria for Timeliness.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
Generating test data from state-based specifications.
Softw. Test. Verification Reliab., 2003

Quality Impacts of Clandestine Common Coupling.
Softw. Qual. J., 2003

Determining the Distribution of Maintenance Categories: Survey versus Measurement.
Empir. Softw. Eng., 2003

Coverage Criteria for Logical Expressions.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

UML-Based Integration Testing for Component-Based Software.
Proceedings of the COTS-Based Software Systems, Second International Conference, 2003

Maintaining Evolving Component-Based Software with UML.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002
Quality Attributes of Web Software Applications.
IEEE Softw., 2002

Maintainability of the Linux kernel.
IEE Proc. Softw., 2002

Inter-Class Mutation Operators for Java.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Fault Detection Capabilities of Coupling-based OO Testing.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

An Empirical Comparison of Modularity of Procedural and Object-oriented Software.
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

Syntactic Fault Patterns in OO Programs.
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001
Designing an IT College.
Proceedings of the Networking the Learner: Computers in Education, 2001

A Fault Model for Subtype Inheritance and Polymorphism.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Deriving Tests From Software Architectures.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

2000
Software testing and analysis of object-oriented software.
ACM SIGSOFT Softw. Eng. Notes, 2000

Using UML Collaboration Diagrams for Static Checking and Test Generation.
Proceedings of the «UML» 2000, 2000

Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software.
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Criteria for Testing Polymorphic Relationships.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

An Analysis Tool for Coupling-Based Integration Testing.
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

Evaluation of Three Specification-Based Testing Criteria.
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999
The Dynamic Domain Reduction Procedure for Test Data Generation.
Softw. Pract. Exp., 1999

Generating test data from SOFL specifications.
J. Syst. Softw., 1999

Generating Tests from UML Specifications.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Analysis Techniques for Testing Polymorphic Relationships.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Increased software reliability through input validation analysis and testing.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Criteria for Generating Specification-Based Tests.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

1998
SOFL: A Formal Engineering Methodology for Industrial Applications.
IEEE Trans. Software Eng., 1998

Coupling-based Criteria for Integration Testing.
Softw. Test. Verification Reliab., 1998

1997
Automatically Detecting Equivalent Mutants and Infeasible Paths.
Softw. Test. Verification Reliab., 1997

An Approach to Fault Modeling and Fault Seeding Using the Program Dependence Graph.
J. Syst. Softw., 1997

Maintaining Knowledge Currency in the 21st Century.
Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997

TUMS: testing using mutant schemata.
Proceedings of the 35th Annual Southeast Regional Conference, 1997

1996
An Experimental Determination of Sufficient Mutant Operators.
ACM Trans. Softw. Eng. Methodol., 1996

An Experimental Evaluation of Data Flow and Mutation Testing.
Softw. Pract. Exp., 1996

A Semantic Model of Program Faults.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Algorithmic Analysis of the Impact of Changes to Object-Oriented Software.
Proceedings of the 1996 International Conference on Software Maintenance (ICSM '96), 1996

Coupling-based Integration Testing.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1994
Correction to "An Empirical Evaluation of Weak Mutation".
IEEE Trans. Software Eng., 1994

An Empirical Evaluation of Weak Mutation.
IEEE Trans. Software Eng., 1994

Using Compiler Optimization Techniques to Detect Equivalent Mutants.
Softw. Test. Verification Reliab., 1994

A Practical System for Mutation Testing: Help for the Common Programmer.
Proceedings of the Proceedings IEEE International Test Conference 1994, 1994

A Five Year Perspective on Software Engineering Graduate Programs at George Mason University.
Proceedings of the Software Engineering Education, 1994

1993
Experimental Results from an Automatic Test Case Generator.
ACM Trans. Softw. Eng. Methodol., 1993

A software metric system for module coupling.
J. Syst. Softw., 1993

Mutation Analysis Using Mutant Schemata.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

An Experimental Evaluation of Selective Mutation.
Proceedings of the 15th International Conference on Software Engineering, 1993

1992
Investigations of the Software Testing Coupling Effect.
ACM Trans. Softw. Eng. Methodol., 1992

Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis.
IEEE Trans. Computers, 1992

Mutation Testing of Software Using MIMD Computer.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

Integrating Research, Reuse, and Integration into Software Engineering Course.
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1991
Constraint-Based Automatic Test Data Generation.
IEEE Trans. Software Eng., 1991

A Fortran Language System for Mutation-based Software Testing.
Softw. Pract. Exp., 1991

An integrated automatic test data generation system.
J. Syst. Integr., 1991

Unit Testing Versus Integration Testing.
Proceedings of the Proceedings IEEE International Test Conference 1991, 1991

How Strong is Weak Mutation?
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990
Comments on Tai.
ACM SIGSOFT Softw. Eng. Notes, 1990

An Integrated System for Automatically Generating Test Data.
Proceedings of the First International Conference on Systems Integration, 1990

1989
The Coupling Effect: Fact or Fiction.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988
Anatomy of a software engineering project.
Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, 1988

1987
A Fortran 77 interpreter for mutation analysis.
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987


  Loading...