Martin R. Woodward

Publication Activity (10 Years)

Years Active: 1976-2009
Publications (10 Years): 0

Publications

Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan
Using formal specifications to support testing. ACM Comput. Surv. 41 (2) (2009)
Martin R. Woodward, Jeff Offutt
Editorial: Reflections on the past, present and future. Softw. Test. Verification Reliab. 17 (1) (2007)
Martin R. Woodward, Michael A. Hennell
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC. Inf. Softw. Technol. 48 (7) (2006)
Martin R. Woodward
Editorial: Testing for real! Softw. Test. Verification Reliab. 16 (1) (2006)
Martin R. Woodward
Editorial: On mutants, metaphors and scientific creativity. Softw. Test. Verification Reliab. 15 (2) (2005)
Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti
The Efficiency of Critical Slicing in Fault Localization. Softw. Qual. J. 13 (2) (2005)
Martin R. Woodward
Editorial: A test of time across the generations. Softw. Test. Verification Reliab. 14 (2) (2004)
Zuhoor A. Al-Khanjari, Martin R. Woodward
Investigating the Partial Relationships Between Testability and the Dynamic Range-to-Domain Ratio. Australas. J. Inf. Syst. 11 (1) (2003)
Zuhoor A. Al-Khanjari, Martin R. Woodward, Narayana Swamy Kutti, Haider Ali Ramadhan, Khalil Shihab
Masking Errors Through Software Robustness. International Conference on Internet Computing (2003)
Martin R. Woodward
Editorial: The merits of diversity. Softw. Test. Verification Reliab. 13 (2) (2003)
Duncan S. Neary, Martin R. Woodward
An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications. J. Vis. Lang. Comput. 13 (2) (2002)
Martin R. Woodward
Editorial: Little bugs and big bugs. Softw. Test. Verification Reliab. 12 (3) (2002)
Lee J. White, Martin R. Woodward
List of Referees. Softw. Test. Verification Reliab. 12 (1) (2002)
Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan
Critical Analysis of the PIE Testability Technique. Softw. Qual. J. 10 (4) (2002)
Duncan S. Neary, Martin R. Woodward
Visual Representation of Algebraic Specifications: a User-Oriented Approach. HCC (2001)
Martin R. Woodward
Editorial: Putting specifications to the test. Softw. Test. Verification Reliab. 11 (3) (2001)
Martin R. Woodward
Insights into software testing. Softw. Focus 2 (3) (2001)
Martin R. Woodward, Zuhoor A. Al-Khanjari
Testability, fault size and the domain-to-range ratio: An eternal triangle. ISSTA (2000)
Martin R. Woodward
Editorial: 'The times they are a-changing'. Softw. Test. Verification Reliab. 10 (2) (2000)
Martin R. Woodward
Editorial: 'Collaboration, collaboration, collaboration'. Softw. Test. Verification Reliab. 10 (3) (2000)
Duncan S. Neary, Martin R. Woodward
Visual Construction of Algebraic Specifications. VL (2000)
Martin R. Woodward
Editorial: V is for Verification. Softw. Test. Verification Reliab. 9 (2) (1999)
Martin R. Woodward
Editorial: Time and time again. Softw. Test. Verification Reliab. 8 (2) (1998)
Martin R. Woodward, Stephen Peter Allen
Slicing algebraic specifications. Inf. Softw. Technol. 40 (2) (1998)
Martin R. Woodward
Change of Book Reviews Editor. Softw. Test. Verification Reliab. 8 (4) (1998)
Martin R. Woodward
Editorial: Research publication standards - making the right judgements. Softw. Test. Verification Reliab. 7 (2) (1997)
Martin R. Woodward
Editorial: Testing - a Sisyphean or Herculean Task? Softw. Test. Verification Reliab. 6 (1) (1996)
Martin R. Woodward
Editorial: Testing Matters. Softw. Test. Verification Reliab. 5 (1) (1995)
Martin R. Woodward
Editorial. Softw. Test. Verification Reliab. 4 (3) (1994)
Colin C. Charlton, Paul E. Dunne, Paul H. Leng, Janet Little, Martin R. Woodward
Distributing quality-controlled software via the internet. Microprocess. Microprogramming 40 (10-12) (1994)
Martin R. Woodward
Mutation testing - its origin and evolution. Inf. Softw. Technol. 35 (3) (1993)
Keith Halewood, Martin R. Woodward
A Uniform Graphical View of the Program Construction Process: GRIPSE. Int. J. Man Mach. Stud. 38 (5) (1993)
Martin R. Woodward
Editorial. Softw. Test. Verification Reliab. 3 (1) (1993)
Martin R. Woodward
Errors in algebraic specifications and an experimental mutation testing tool. Softw. Eng. J. 8 (4) (1993)
Derek Yates, Martin R. Woodward
Editorial. Softw. Test. Verification Reliab. 2 (4) (1992)
Martin R. Woodward
Editorial. Softw. Test. Verification Reliab. 2 (1) (1992)
Martin R. Woodward
Concerning Ordered Mutation Testing of Relational Operators. Softw. Test. Verification Reliab. 1 (3) (1991)
Keith Halewood, Martin R. Woodward
NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts. Softw. Pract. Exp. 18 (10) (1988)
Moheb R. Girgis, Martin R. Woodward
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis. ICSE (1985)
Martin R. Woodward
The Application of Halstead's Software Science Theory to Algol 68 Programs. Softw. Pract. Exp. 14 (3) (1984)
Martin R. Woodward, David Hedley, Michael A. Hennell
Experience with Path Analysis and Testing of Programs. IEEE Trans. Software Eng. 6 (3) (1980)
Martin R. Woodward, Michael A. Hennell, David Hedley
A Measure of Control Flow Complexity in Program Text. IEEE Trans. Software Eng. 5 (1) (1979)
Michael A. Hennell, David Hedley, Martin R. Woodward
Quantifying the test effectiveness of Algol 68 programs. Strathclyde ALGOL 68 Conference (1977)
Michael A. Hennell, Martin R. Woodward, David Hedley
On Program Analysis. Inf. Process. Lett. 5 (5) (1976)