dblp.uni-trier.dewww.uni-trier.de

Martin R. Woodward Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
39EERobert 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
38EEMartin R. Woodward, Jeff Offutt: Editorial: Reflections on the past, present and future. Softw. Test., Verif. Reliab. 17(1): 1-2 (2007)
2006
37EEMartin 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)
36EEMartin R. Woodward: Editorial: Testing for real! Softw. Test., Verif. Reliab. 16(1): 1-2 (2006)
2005
35EEMartin R. Woodward: Editorial: On mutants, metaphors and scientific creativity. Softw. Test., Verif. Reliab. 15(2): 71-72 (2005)
34EEZuhoor 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
33EEMartin 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
31EEMartin R. Woodward: Editorial: The merits of diversity. Softw. Test., Verif. Reliab. 13(2): 63-64 (2003)
2002
30EEDuncan 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)
27EEZuhoor 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
26EEDuncan 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
23EEMartin R. Woodward, Zuhoor A. Al-Khanjari: Testability, fault size and the domain-to-range ratio: An eternal triangle. ISSTA 2000: 168-172
22EEDuncan 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
18EEMartin 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)

Coauthor Index

1Zuhoor A. Al-Khanjari [23] [27] [32] [34]
2Stephen P. Allen [18]
3Kirill Bogdanov [39]
4Jonathan P. Bowen [39]
5Rance Cleaveland [39]
6John Derrick [39]
7Jeremy Dick [39]
8Marian Gheorghe [39]
9Moheb R. Girgis [5]
10K. Halewood [6] [11]
11Mark Harman [39]
12David Hedley [1] [2] [3]
13Michael A. Hennell [1] [2] [3] [37]
14Robert M. Hierons [39]
15Kalpesh Kapoor [39]
16Paul Krause [39]
17Narayana Swamy Kutti [32] [34]
18Gerald Lüttgen [39]
19Duncan S. Neary [22] [26] [30]
20A. Jefferson Offutt (Jeff Offutt) [38]
21Haider Ali Ramadhan [27] [32] [34]
22Khalil Shihab [32]
23Anthony J. H. Simons [39]
24Sergiy A. Vilkomir [39]
25Lee J. White [29]
26Derek Yates [8]
27Hussein Zedan (Hussein S. M. Zedan) [39]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)