On Program Analysis. - Michael A. Hennell; Martin R. Woodward; David Hedley (Inf. Process. Lett., 1976)

Quantifying the test effectiveness of Algol 68 programs. - Michael A. Hennell; David Hedley; Martin R. Woodward (Strathclyde ALGOL 68 Conference, 1977)

A Measure of Control Flow Complexity in Program Text. - Martin R. Woodward; Michael A. Hennell; David Hedley (IEEE Trans. Software Eng., 1979)

Experience with Path Analysis and Testing of Programs. - Martin R. Woodward; David Hedley; Michael A. Hennell (IEEE Trans. Software Eng., 1980)

The Application of Halstead's Software Science Theory to Algol 68 Programs. - Martin R. Woodward (Softw. Pract. Exp., 1984)

An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis. - Moheb R. Girgis; Martin R. Woodward (ICSE, 1985)

NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts. - Keith Halewood; Martin R. Woodward (Softw. Pract. Exp., 1988)

Concerning Ordered Mutation Testing of Relational Operators. - Martin R. Woodward (Softw. Test. Verification Reliab., 1991)

Editorial. - Derek Yates; Martin R. Woodward (Softw. Test. Verification Reliab., 1992)

Errors in algebraic specifications and an experimental mutation testing tool. - Martin R. Woodward (Softw. Eng. J., 1993)

A Uniform Graphical View of the Program Construction Process: GRIPSE. - Keith Halewood; Martin R. Woodward (Int. J. Man Mach. Stud., 1993)

Mutation testing - its origin and evolution. - Martin R. Woodward (Inf. Softw. Technol., 1993)

Distributing quality-controlled software via the internet. - Colin C. Charlton; Paul E. Dunne; Paul H. Leng; Janet Little; Martin R. Woodward (Microprocess. Microprogramming, 1994)

Editorial. - Martin R. Woodward (Softw. Test. Verification Reliab., 1994)

Editorial: Testing Matters. - Martin R. Woodward (Softw. Test. Verification Reliab., 1995)

Editorial: Testing - a Sisyphean or Herculean Task? - Martin R. Woodward (Softw. Test. Verification Reliab., 1996)

Editorial: Research publication standards - making the right judgements. - Martin R. Woodward (Softw. Test. Verification Reliab., 1997)

Slicing algebraic specifications. - Martin R. Woodward; Stephen Peter Allen (Inf. Softw. Technol., 1998)

Editorial: Time and time again. - Martin R. Woodward (Softw. Test. Verification Reliab., 1998)

Change of Book Reviews Editor. - Martin R. Woodward (Softw. Test. Verification Reliab., 1998)

Visualisation of the OBJ Term Re-writing Process. - Duncan S. Neary; Martin R. Woodward (Visual Representations and Interpretations, 1999)

Editorial: V is for Verification. - Martin R. Woodward (Softw. Test. Verification Reliab., 1999)

Testability, fault size and the domain-to-range ratio: An eternal triangle. - Martin R. Woodward; Zuhoor A. Al-Khanjari (ISSTA, 2000)

Visual Construction of Algebraic Specifications. - Duncan S. Neary; Martin R. Woodward (VL, 2000)

Editorial: 'The times they are a-changing'. - Martin R. Woodward (Softw. Test. Verification Reliab., 2000)

Editorial: 'Collaboration, collaboration, collaboration'. - Martin R. Woodward (Softw. Test. Verification Reliab., 2000)

Visual Representation of Algebraic Specifications: a User-Oriented Approach. - Duncan S. Neary; Martin R. Woodward (HCC, 2001)

Insights into software testing. - Martin R. Woodward (Softw. Focus, 2001)

Editorial: Putting specifications to the test. - Martin R. Woodward (Softw. Test. Verification Reliab., 2001)

Critical Analysis of the PIE Testability Technique. - Zuhoor A. Al-Khanjari; Martin R. Woodward; Haider Ali Ramadhan (Softw. Qual. J., 2002)

List of Referees. - Lee J. White; Martin R. Woodward (Softw. Test. Verification Reliab., 2002)

Editorial: Little bugs and big bugs. - Martin R. Woodward (Softw. Test. Verification Reliab., 2002)

An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications. - Duncan S. Neary; Martin R. Woodward (J. Vis. Lang. Comput., 2002)

Masking Errors Through Software Robustness. - Zuhoor A. Al-Khanjari; Martin R. Woodward; Narayana Swamy Kutti; Haider Ali Ramadhan; Khalil Shihab (International Conference on Internet Computing, 2003)

Investigating the Partial Relationships Between Testability and the Dynamic Range-to-Domain Ratio. - Zuhoor A. Al-Khanjari; Martin R. Woodward (Australas. J. Inf. Syst., 2003)

Editorial: The merits of diversity. - Martin R. Woodward (Softw. Test. Verification Reliab., 2003)

Editorial: A test of time across the generations. - Martin R. Woodward (Softw. Test. Verification Reliab., 2004)

The Efficiency of Critical Slicing in Fault Localization. - Zuhoor A. Al-Khanjari; Martin R. Woodward; Haider Ali Ramadhan; Narayana Swamy Kutti (Softw. Qual. J., 2005)

Editorial: On mutants, metaphors and scientific creativity. - Martin R. Woodward (Softw. Test. Verification Reliab., 2005)

On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC. - Martin R. Woodward; Michael A. Hennell (Inf. Softw. Technol., 2006)

Editorial: Testing for real! - Martin R. Woodward (Softw. Test. Verification Reliab., 2006)

Editorial: Reflections on the past, present and future. - Martin R. Woodward; Jeff Offutt (Softw. Test. Verification Reliab., 2007)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)