Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin R. Woodward" ( http://dblp.L3S.de/Authors/Martin_R._Woodward )

URL (Homepage):  http://www.csc.liv.ac.uk/~mrw/  Author page on DBLP  Author page in RDF  Community of Martin R. Woodward in ASPL-2

Publication years (Num. hits)
1976-1997 (15) 1998-2002 (15) 2003-2009 (10)
Publication types (Num. hits)
article(35) inproceedings(5)
Venues (Conferences, Journals, ...)
Softw. Test., Verif. Reliab.(21) IEEE Trans. Software Eng.(2) Information & Software Technol...(2) Softw., Pract. Exper.(2) Software Quality Journal(2) ACM Comput. Surv.(1) Australasian J. of Inf. System...(1) HCC(1) ICSE(1) Inf. Process. Lett.(1) International Conference on In...(1) International Journal of Man-M...(1) ISSTA(1) J. Vis. Lang. Comput.(1) Software Focus(1) VL(1)
Authors
Martin R. Woodward(40) Zuhoor A. Al-Khanjari(5) Michael A. Hennell(4) David Hedley(3) Duncan S. Neary(3) Haider Ali Ramadhan(3) K. Halewood(2) Narayana Swamy Kutti(2) Anthony J. H. Simons(1) Derek Yates(1) Gerald Lüttgen(1) Hussein Zedan(1) Jeff Offutt(1) Jeremy Dick(1) John Derrick(1) Jonathan P. Bowen(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords
Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Robert 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. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, Software testing
1Martin R. Woodward, Jeff Offutt Editorial: Reflections on the past, present and future. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: Testing for real! Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward, Michael A. Hennell On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC. Search on Bibsonomy Information & Software Technology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: On mutants, metaphors and scientific creativity. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti The Efficiency of Critical Slicing in Fault Localization. Search on Bibsonomy Software Quality Journal The full citation details ... 2005 DBLP  DOI  BibTeX  RDF strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
1Martin R. Woodward Editorial: A test of time across the generations. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Zuhoor A. Al-Khanjari, Martin R. Woodward Investigating the Partial Relationships Between Testability and the Dynamic Range-to-Domain Ratio. Search on Bibsonomy Australasian J. of Inf. Systems The full citation details ... 2003 DBLP  BibTeX  RDF
1Martin R. Woodward Editorial: The merits of diversity. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Zuhoor A. Al-Khanjari, Martin R. Woodward, Narayana Swamy Kutti, Haider Ali Ramadhan, Khalil Shihab Masking Errors Through Software Robustness. Search on Bibsonomy International Conference on Internet Computing The full citation details ... 2003 DBLP  BibTeX  RDF
1Lee J. White, Martin R. Woodward List of Referees. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: Little bugs and big bugs. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Duncan S. Neary, Martin R. Woodward An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2002 DBLP  BibTeX  RDF
1Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan Critical Analysis of the PIE Testability Technique. Search on Bibsonomy Software Quality Journal The full citation details ... 2002 DBLP  DOI  BibTeX  RDF PIE technique, mutant schemata, testability, sensitivity, infection
1Martin R. Woodward Insights into software testing. Search on Bibsonomy Software Focus The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: Putting specifications to the test. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Duncan S. Neary, Martin R. Woodward Visual Representation of Algebraic Specifications: a User-Oriented Approach. (PDF / PS) Search on Bibsonomy HCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: `Collaboration, collaboration, collaboration'. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: `The times they are a-changing'. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Duncan S. Neary, Martin R. Woodward Visual Construction of Algebraic Specifications. (PDF / PS) Search on Bibsonomy VL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward, Zuhoor A. Al-Khanjari Testability, fault size and the domain-to-range ratio: An eternal triangle. Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF domain-to-range ratio, fault size, controllability, observability, testability
1Martin R. Woodward Editorial: V is for Verification. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: Time and time again. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Change of Book Reviews Editor. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1998 DBLP  BibTeX  RDF
1Martin R. Woodward, Stephen P. Allen Slicing algebraic specifications. Search on Bibsonomy Information & Software Technology The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: Research publication standards - making the right judgements. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial: Testing - a Sisyphean or Herculean Task? Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1996 DBLP  BibTeX  RDF
1Martin R. Woodward Editorial: Testing Matters. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1K. Halewood, Martin R. Woodward A Uniform Graphical View of the Program Construction Process: GRIPSE. Search on Bibsonomy International Journal of Man-Machine Studies The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1993 DBLP  BibTeX  RDF
1Derek Yates, Martin R. Woodward Editorial. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Editorial. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward Concerning Ordered Mutation Testing of Relational Operators. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 1991 DBLP  BibTeX  RDF
1K. Halewood, Martin R. Woodward NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Moheb R. Girgis, Martin R. Woodward An Integrated System for Program Testing Using Weak Mutation and Data Flow Analysis. Search on Bibsonomy ICSE The full citation details ... 1985 DBLP  BibTeX  RDF
1Martin R. Woodward The Application of Halstead's Software Science Theory to Algol 68 Programs. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward, David Hedley, Michael A. Hennell Experience with Path Analysis and Testing of Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Martin R. Woodward, Michael A. Hennell, David Hedley A Measure of Control Flow Complexity in Program Text. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Michael A. Hennell, Martin R. Woodward, David Hedley On Program Analysis. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.