Martin R. Woodward

Jeff Offutt

Softw. Test. Verification Reliab., 2007

2006

Editorial: Testing for real!

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2006

On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2006

2005

Editorial: On mutants, metaphors and scientific creativity.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2005

The Efficiency of Critical Slicing in Fault Localization.

[BibT_eX]

[DOI]

Haider Ali Ramadhan

Narayana Swamy Kutti

Softw. Qual. J., 2005

2004

Editorial: A test of time across the generations.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2004

2003

Editorial: The merits of diversity.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2003

Investigating the Partial Relationships Between Testability and the Dynamic Range-to-Domain Ratio.

[BibT_eX]

[DOI]

Australas. J. Inf. Syst., 2003

Masking Errors Through Software Robustness.

[BibT_eX]

Proceedings of the International Conference on Internet Computing, 2003

2002

An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2002

Editorial: Little bugs and big bugs.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2002

List of Referees.

[BibT_eX]

[DOI]

Lee J. White

Softw. Test. Verification Reliab., 2002

Critical Analysis of the PIE Testability Technique.

[BibT_eX]

[DOI]

Haider Ali Ramadhan

Softw. Qual. J., 2002

2001

Editorial: Putting specifications to the test.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2001

Insights into software testing.

[BibT_eX]

[DOI]

Softw. Focus, 2001

Visual Representation of Algebraic Specifications: a User-Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

2000

Editorial: 'Collaboration, collaboration, collaboration'.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2000

Editorial: 'The times they are a-changing'.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2000

Visual Construction of Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Testability, fault size and the domain-to-range ratio: An eternal triangle.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

1999

Editorial: V is for Verification.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1999

Visualisation of the OBJ Term Re-writing Process.

[BibT_eX]

[DOI]

Proceedings of the Visual Representations and Interpretations, 1999

1998

Change of Book Reviews Editor.

[BibT_eX]

Softw. Test. Verification Reliab., 1998

Editorial: Time and time again.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1998

Slicing algebraic specifications.

[BibT_eX]

[DOI]

Stephen Peter Allen

Inf. Softw. Technol., 1998

1997

Editorial: Research publication standards - making the right judgements.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1997

1996

Editorial: Testing - a Sisyphean or Herculean Task?

[BibT_eX]

Softw. Test. Verification Reliab., 1996

1995

Editorial: Testing Matters.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1995

1994

Editorial.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1994

Distributing quality-controlled software via the internet.

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1994

1993

Mutation testing - its origin and evolution.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1993

A Uniform Graphical View of the Program Construction Process: GRIPSE.

[BibT_eX]

[DOI]

Keith Halewood

Int. J. Man Mach. Stud., 1993

Errors in algebraic specifications and an experimental mutation testing tool.

[BibT_eX]

[DOI]

Softw. Eng. J., 1993

1992

Editorial.

[BibT_eX]

[DOI]

Derek Yates

Softw. Test. Verification Reliab., 1992

1991

Concerning Ordered Mutation Testing of Relational Operators.

[BibT_eX]

Softw. Test. Verification Reliab., 1991

1988

NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts.

[BibT_eX]

[DOI]

Keith Halewood

Softw. Pract. Exp., 1988

1985

An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis.

[BibT_eX]

[DOI]

Moheb R. Girgis

Proceedings of the Proceedings, 1985

1984

The Application of Halstead's Software Science Theory to Algol 68 Programs.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1984

1980

Experience with Path Analysis and Testing of Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1980

1979

A Measure of Control Flow Complexity in Program Text.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1979

1977

Quantifying the test effectiveness of Algol 68 programs.

[BibT_eX]

[DOI]

Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, 1977

1976

On Program Analysis.

[BibT_eX]

[DOI]