| 2009 |
|---|
| 39 | EE | Robert M. Hierons,
Kirill Bogdanov,
Jonathan P. Bowen,
Rance Cleaveland,
John Derrick,
Jeremy Dick,
Marian Gheorghe,
Mark Harman,
Kalpesh Kapoor,
Paul 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) |
| 2007 |
|---|
| 38 | EE | Martin R. Woodward,
Jeff Offutt:
Editorial: Reflections on the past, present and future.
Softw. Test., Verif. Reliab. 17(1): 1-2 (2007) |
| 2006 |
|---|
| 37 | EE | Martin R. Woodward,
Michael A. Hennell:
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC.
Information & Software Technology 48(7): 433-440 (2006) |
| 36 | EE | Martin R. Woodward:
Editorial: Testing for real!
Softw. Test., Verif. Reliab. 16(1): 1-2 (2006) |
| 2005 |
|---|
| 35 | EE | Martin R. Woodward:
Editorial: On mutants, metaphors and scientific creativity.
Softw. Test., Verif. Reliab. 15(2): 71-72 (2005) |
| 34 | EE | Zuhoor A. Al-Khanjari,
Martin R. Woodward,
Haider Ali Ramadhan,
Narayana Swamy Kutti:
The Efficiency of Critical Slicing in Fault Localization.
Software Quality Journal 13(2): 129-153 (2005) |
| 2004 |
|---|
| 33 | EE | Martin R. Woodward:
Editorial: A test of time across the generations.
Softw. Test., Verif. Reliab. 14(2): 79-80 (2004) |
| 2003 |
|---|
| 32 | | 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: 809-817 |
| 31 | EE | Martin R. Woodward:
Editorial: The merits of diversity.
Softw. Test., Verif. Reliab. 13(2): 63-64 (2003) |
| 2002 |
|---|
| 30 | EE | 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): 149-175 (2002) |
| 29 | | Lee J. White,
Martin R. Woodward:
List of Referees.
Softw. Test., Verif. Reliab. 12(1): 63-64 (2002) |
| 28 | | Martin R. Woodward:
Editorial: Little bugs and big bugs.
Softw. Test., Verif. Reliab. 12(3): 131-132 (2002) |
| 27 | EE | Zuhoor A. Al-Khanjari,
Martin R. Woodward,
Haider Ali Ramadhan:
Critical Analysis of the PIE Testability Technique.
Software Quality Journal 10(4): 331-354 (2002) |
| 2001 |
|---|
| 26 | EE | Duncan S. Neary,
Martin R. Woodward:
Visual Representation of Algebraic Specifications: a User-Oriented Approach.
HCC 2001: 62-63 |
| 25 | | Martin R. Woodward:
Editorial: Putting specifications to the test.
Softw. Test., Verif. Reliab. 11(3): 141-142 (2001) |
| 24 | | Martin R. Woodward:
Insights into software testing.
Software Focus 2(3): 93-103 (2001) |
| 2000 |
|---|
| 23 | EE | Martin R. Woodward,
Zuhoor A. Al-Khanjari:
Testability, fault size and the domain-to-range ratio: An eternal triangle.
ISSTA 2000: 168-172 |
| 22 | EE | Duncan S. Neary,
Martin R. Woodward:
Visual Construction of Algebraic Specifications.
VL 2000: 79-80 |
| 21 | | Martin R. Woodward:
Editorial: `The times they are a-changing'.
Softw. Test., Verif. Reliab. 10(2): 75-76 (2000) |
| 20 | | Martin R. Woodward:
Editorial: `Collaboration, collaboration, collaboration'.
Softw. Test., Verif. Reliab. 10(3): 147-148 (2000) |
| 1999 |
|---|
| 19 | | Martin R. Woodward:
Editorial: V is for Verification.
Softw. Test., Verif. Reliab. 9(2): 83-84 (1999) |
| 1998 |
|---|
| 18 | EE | Martin R. Woodward,
Stephen P. Allen:
Slicing algebraic specifications.
Information & Software Technology 40(2): 105-118 (1998) |
| 17 | | Martin R. Woodward:
Editorial: Time and time again.
Softw. Test., Verif. Reliab. 8(2): 59-60 (1998) |
| 16 | | Martin R. Woodward:
Change of Book Reviews Editor.
Softw. Test., Verif. Reliab. 8(4): 174-175 (1998) |
| 1997 |
|---|
| 15 | | Martin R. Woodward:
Editorial: Research publication standards - making the right judgements.
Softw. Test., Verif. Reliab. 7(2): 67-68 (1997) |
| 1996 |
|---|
| 14 | | Martin R. Woodward:
Editorial: Testing - a Sisyphean or Herculean Task?
Softw. Test., Verif. Reliab. 6(1): 1-2 (1996) |
| 1995 |
|---|
| 13 | | Martin R. Woodward:
Editorial: Testing Matters.
Softw. Test., Verif. Reliab. 5(1): 1-2 (1995) |
| 1994 |
|---|
| 12 | | Martin R. Woodward:
Editorial.
Softw. Test., Verif. Reliab. 4(3): 129-130 (1994) |
| 1993 |
|---|
| 11 | | K. Halewood,
Martin R. Woodward:
A Uniform Graphical View of the Program Construction Process: GRIPSE.
International Journal of Man-Machine Studies 38(5): 805-837 (1993) |
| 10 | | Martin R. Woodward:
Editorial.
Softw. Test., Verif. Reliab. 3(1): 1-2 (1993) |
| 1992 |
|---|
| 9 | | Martin R. Woodward:
Editorial.
Softw. Test., Verif. Reliab. 2(1): 1-2 (1992) |
| 8 | | Derek Yates,
Martin R. Woodward:
Editorial.
Softw. Test., Verif. Reliab. 2(4): 165-166 (1992) |
| 1991 |
|---|
| 7 | | Martin R. Woodward:
Concerning Ordered Mutation Testing of Relational Operators.
Softw. Test., Verif. Reliab. 1(3): 35-40 (1991) |
| 1988 |
|---|
| 6 | | K. Halewood,
Martin R. Woodward:
NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts.
Softw., Pract. Exper. 18(10): 987-998 (1988) |
| 1985 |
|---|
| 5 | | Moheb R. Girgis,
Martin R. Woodward:
An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis.
ICSE 1985: 313-319 |
| 1984 |
|---|
| 4 | | Martin R. Woodward:
The Application of Halstead's Software Science Theory to Algol 68 Programs.
Softw., Pract. Exper. 14(3): 263-276 (1984) |
| 1980 |
|---|
| 3 | | Martin R. Woodward,
David Hedley,
Michael A. Hennell:
Experience with Path Analysis and Testing of Programs.
IEEE Trans. Software Eng. 6(3): 278-286 (1980) |
| 1979 |
|---|
| 2 | | Martin R. Woodward,
Michael A. Hennell,
David Hedley:
A Measure of Control Flow Complexity in Program Text.
IEEE Trans. Software Eng. 5(1): 45-50 (1979) |
| 1976 |
|---|
| 1 | | Michael A. Hennell,
Martin R. Woodward,
David Hedley:
On Program Analysis.
Inf. Process. Lett. 5(5): 136-140 (1976) |
