Martin R. Woodward

45 papers A* 1A 1Journal 38Unranked 4
YearRankTypeTitle / Venue / Authors
2009 J jnl
Using formal specifications to support testing.
ACM Comput. Surv.
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
2007 J jnl
Editorial: Reflections on the past, present and future.
Softw. Test. Verification Reliab.
Martin R. Woodward, Jeff Offutt
2006 J jnl
Editorial: Testing for real!
Softw. Test. Verification Reliab.
Martin R. Woodward
2006 J jnl
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC.
Inf. Softw. Technol.
Martin R. Woodward, Michael A. Hennell
2005 J jnl
Editorial: On mutants, metaphors and scientific creativity.
Softw. Test. Verification Reliab.
Martin R. Woodward
2005 J jnl
The Efficiency of Critical Slicing in Fault Localization.
Softw. Qual. J.
Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti
2004 J jnl
Editorial: A test of time across the generations.
Softw. Test. Verification Reliab.
Martin R. Woodward
2003 J jnl
Editorial: The merits of diversity.
Softw. Test. Verification Reliab.
Martin R. Woodward
2003 J jnl
Investigating the Partial Relationships Between Testability and the Dynamic Range-to-Domain Ratio.
Australas. J. Inf. Syst.
Zuhoor A. Al-Khanjari, Martin R. Woodward
2003 — conf
Masking Errors Through Software Robustness.
International Conference on Internet Computing
Zuhoor A. Al-Khanjari, Martin R. Woodward, Narayana Swamy Kutti, Haider Ali Ramadhan, Khalil Shihab
2002 J jnl
An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications.
J. Vis. Lang. Comput.
Duncan S. Neary, Martin R. Woodward
2002 J jnl
Critical Analysis of the PIE Testability Technique.
Softw. Qual. J.
Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan
2002 J jnl
Editorial: Little bugs and big bugs.
Softw. Test. Verification Reliab.
Martin R. Woodward
2002 J jnl
List of Referees.
Softw. Test. Verification Reliab.
Lee J. White, Martin R. Woodward
2001 J jnl
Editorial: Putting specifications to the test.
Softw. Test. Verification Reliab.
Martin R. Woodward
2001 J jnl
Insights into software testing.
Softw. Focus
Martin R. Woodward
2001 — conf
Visual Representation of Algebraic Specifications: a User-Oriented Approach.
HCC
Duncan S. Neary, Martin R. Woodward
2000 J jnl
Editorial: 'Collaboration, collaboration, collaboration'.
Softw. Test. Verification Reliab.
Martin R. Woodward
2000 J jnl
Editorial: 'The times they are a-changing'.
Softw. Test. Verification Reliab.
Martin R. Woodward
2000 A conf
Testability, fault size and the domain-to-range ratio: An eternal triangle.
ISSTA
Martin R. Woodward, Zuhoor A. Al-Khanjari
2000 — conf
Visual Construction of Algebraic Specifications.
VL
Duncan S. Neary, Martin R. Woodward
1999 J jnl
Editorial: V is for Verification.
Softw. Test. Verification Reliab.
Martin R. Woodward
1999 — ch.
Visualisation of the OBJ Term Re-writing Process.
Visual Representations and Interpretations
Duncan S. Neary, Martin R. Woodward
1998 J jnl
Change of Book Reviews Editor.
Softw. Test. Verification Reliab.
Martin R. Woodward
1998 J jnl
Editorial: Time and time again.
Softw. Test. Verification Reliab.
Martin R. Woodward
1998 J jnl
Slicing algebraic specifications.
Inf. Softw. Technol.
Martin R. Woodward, Stephen Peter Allen
1997 J jnl
Editorial: Research publication standards - making the right judgements.
Softw. Test. Verification Reliab.
Martin R. Woodward
1996 J jnl
Editorial: Testing - a Sisyphean or Herculean Task?
Softw. Test. Verification Reliab.
Martin R. Woodward
1995 J jnl
Editorial: Testing Matters.
Softw. Test. Verification Reliab.
Martin R. Woodward
1994 J jnl
Distributing quality-controlled software via the internet.
Microprocess. Microprogramming
Colin C. Charlton, Paul E. Dunne, Paul H. Leng, Janet Little, Martin R. Woodward
1994 J jnl
Editorial.
Softw. Test. Verification Reliab.
Martin R. Woodward
1993 J jnl
A Uniform Graphical View of the Program Construction Process: GRIPSE.
Int. J. Man Mach. Stud.
Keith Halewood, Martin R. Woodward
1993 J jnl
Editorial.
Softw. Test. Verification Reliab.
Martin R. Woodward
1993 J jnl
Errors in algebraic specifications and an experimental mutation testing tool.
Softw. Eng. J.
Martin R. Woodward
1993 J jnl
Mutation testing - its origin and evolution.
Inf. Softw. Technol.
Martin R. Woodward
1992 J jnl
Editorial.
Softw. Test. Verification Reliab.
Martin R. Woodward
1992 J jnl
Editorial.
Softw. Test. Verification Reliab.
Derek Yates, Martin R. Woodward
1991 J jnl
Concerning Ordered Mutation Testing of Relational Operators.
Softw. Test. Verification Reliab.
Martin R. Woodward
1988 J jnl
NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts.
Softw. Pract. Exp.
Keith Halewood, Martin R. Woodward
1985 A* conf
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis.
ICSE
Moheb R. Girgis, Martin R. Woodward
1984 J jnl
The Application of Halstead's Software Science Theory to Algol 68 Programs.
Softw. Pract. Exp.
Martin R. Woodward
1980 J jnl
Experience with Path Analysis and Testing of Programs.
IEEE Trans. Software Eng.
Martin R. Woodward, David Hedley, Michael A. Hennell
1979 J jnl
A Measure of Control Flow Complexity in Program Text.
IEEE Trans. Software Eng.
Martin R. Woodward, Michael A. Hennell, David Hedley
1977 — conf
Quantifying the test effectiveness of Algol 68 programs.
Strathclyde ALGOL 68 Conference
Michael A. Hennell, David Hedley, Martin R. Woodward
1976 J jnl
On Program Analysis.
Inf. Process. Lett.
Michael A. Hennell, Martin R. Woodward, David Hedley