Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin R. Woodward
@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09,
author = {Robert M. Hierons and
Kirill Bogdanov and
Jonathan P. Bowen and
Rance Cleaveland and
John Derrick and
Jeremy Dick and
Marian Gheorghe and
Mark Harman and
Kalpesh Kapoor and
Paul J. Krause and
Gerald L{\"{u}}ttgen and
Anthony J. H. Simons and
Sergiy A. Vilkomir and
Martin R. Woodward and
Hussein Zedan},
title = {Using formal specifications to support testing},
journal = {{ACM} Comput. Surv.},
volume = {41},
number = {2},
pages = {9:1--9:76},
year = {2009},
url = {https://doi.org/10.1145/1459352.1459354},
doi = {10.1145/1459352.1459354},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WoodwardO07,
author = {Martin R. Woodward and
Jeff Offutt},
title = {Editorial: Reflections on the past, present and future},
journal = {Softw. Test. Verification Reliab.},
volume = {17},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1002/stvr.366},
doi = {10.1002/STVR.366},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/WoodwardO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/WoodwardH06,
author = {Martin R. Woodward and
Michael A. Hennell},
title = {On the relationship between two control-flow coverage criteria: all
JJ-paths and {MCDC}},
journal = {Inf. Softw. Technol.},
volume = {48},
number = {7},
pages = {433--440},
year = {2006},
url = {https://doi.org/10.1016/j.infsof.2005.05.003},
doi = {10.1016/J.INFSOF.2005.05.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/WoodwardH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward06,
author = {Martin R. Woodward},
title = {Editorial: Testing for real!},
journal = {Softw. Test. Verification Reliab.},
volume = {16},
number = {1},
pages = {1--2},
year = {2006},
url = {https://doi.org/10.1002/stvr.342},
doi = {10.1002/STVR.342},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/Al-KhanjariWRK05,
author = {Zuhoor A. Al{-}Khanjari and
Martin R. Woodward and
Haider Ali Ramadhan and
Narayana Swamy Kutti},
title = {The Efficiency of Critical Slicing in Fault Localization},
journal = {Softw. Qual. J.},
volume = {13},
number = {2},
pages = {129--153},
year = {2005},
url = {https://doi.org/10.1007/s11219-005-6214-x},
doi = {10.1007/S11219-005-6214-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/Al-KhanjariWRK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Editorial05,
author = {Martin R. Woodward},
title = {Editorial: On mutants, metaphors and scientific creativity},
journal = {Softw. Test. Verification Reliab.},
volume = {15},
number = {2},
pages = {71--72},
year = {2005},
url = {https://doi.org/10.1002/stvr.325},
doi = {10.1002/STVR.325},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Editorial05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward04,
author = {Martin R. Woodward},
title = {Editorial: {A} test of time across the generations},
journal = {Softw. Test. Verification Reliab.},
volume = {14},
number = {2},
pages = {79--80},
year = {2004},
url = {https://doi.org/10.1002/stvr.297},
doi = {10.1002/STVR.297},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajis/Al-KhanjariW03,
author = {Zuhoor A. Al{-}Khanjari and
Martin R. Woodward},
title = {Investigating the Partial Relationships Between Testability and the
Dynamic Range-to-Domain Ratio},
journal = {Australas. J. Inf. Syst.},
volume = {11},
number = {1},
year = {2003},
url = {http://journal.acs.org.au/index.php/ajis/article/view/139},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajis/Al-KhanjariW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward03,
author = {Martin R. Woodward},
title = {Editorial: The merits of diversity},
journal = {Softw. Test. Verification Reliab.},
volume = {13},
number = {2},
pages = {63--64},
year = {2003},
url = {https://doi.org/10.1002/stvr.269},
doi = {10.1002/STVR.269},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/Al-KhanjariWKRS03,
author = {Zuhoor A. Al{-}Khanjari and
Martin R. Woodward and
Narayana Swamy Kutti and
Haider Ali Ramadhan and
Khalil Shihab},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Masking Errors Through Software Robustness},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} '03, Las Vegas, Nevada, USA, June 23-26, 2003, Volume 2},
pages = {809--817},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Thu, 16 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic/Al-KhanjariWKRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/Al-KhanjariWR02,
author = {Zuhoor A. Al{-}Khanjari and
Martin R. Woodward and
Haider Ali Ramadhan},
title = {Critical Analysis of the {PIE} Testability Technique},
journal = {Softw. Qual. J.},
volume = {10},
number = {4},
pages = {331--354},
year = {2002},
url = {https://doi.org/10.1023/A:1022190021310},
doi = {10.1023/A:1022190021310},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/Al-KhanjariWR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WhiteW02,
author = {Lee J. White and
Martin R. Woodward},
title = {List of Referees},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {63--64},
year = {2002},
url = {https://doi.org/10.1002/stvr.245},
doi = {10.1002/STVR.245},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/WhiteW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward02,
author = {Martin R. Woodward},
title = {Editorial: Little bugs and big bugs},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {131--132},
year = {2002},
url = {https://doi.org/10.1002/stvr.253},
doi = {10.1002/STVR.253},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/NearyW02,
author = {Duncan S. Neary and
Martin R. Woodward},
title = {An Experiment to Compare the Comprehensibility of Textual and Visual
Forms of Algebraic Specifications},
journal = {J. Vis. Lang. Comput.},
volume = {13},
number = {2},
pages = {149--175},
year = {2002},
url = {https://doi.org/10.1006/jvlc.2001.0213},
doi = {10.1006/JVLC.2001.0213},
timestamp = {Tue, 17 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/NearyW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sofo/Woodward01,
author = {Martin R. Woodward},
title = {Insights into software testing},
journal = {Softw. Focus},
volume = {2},
number = {3},
pages = {93--103},
year = {2001},
url = {https://doi.org/10.1002/swf.37},
doi = {10.1002/SWF.37},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sofo/Woodward01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward01,
author = {Martin R. Woodward},
title = {Editorial: Putting specifications to the test},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {141--142},
year = {2001},
url = {https://doi.org/10.1002/stvr.231},
doi = {10.1002/STVR.231},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/NearyW01,
author = {Duncan S. Neary and
Martin R. Woodward},
title = {Visual Representation of Algebraic Specifications: a User-Oriented
Approach},
booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
Italy},
pages = {62--63},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HCC.2001.995239},
doi = {10.1109/HCC.2001.995239},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/NearyW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward00,
author = {Martin R. Woodward},
title = {Editorial: 'The times they are a-changing'},
journal = {Softw. Test. Verification Reliab.},
volume = {10},
number = {2},
pages = {75--76},
year = {2000},
url = {https://doi.org/10.1002/1099-1689(200006)10:2\&\#60;75::AID-STVR205\&\#62;3.0.CO;2-S},
doi = {10.1002/1099-1689(200006)10:2\&\#60;75::AID-STVR205\&\#62;3.0.CO;2-S},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward00a,
author = {Martin R. Woodward},
title = {Editorial: 'Collaboration, collaboration, collaboration'},
journal = {Softw. Test. Verification Reliab.},
volume = {10},
number = {3},
pages = {147--148},
year = {2000},
url = {https://doi.org/10.1002/1099-1689(200009)10:3\&\#60;147::AID-STVR211\&\#62;3.0.CO;2-8},
doi = {10.1002/1099-1689(200009)10:3\&\#60;147::AID-STVR211\&\#62;3.0.CO;2-8},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WoodwardA00,
author = {Martin R. Woodward and
Zuhoor A. Al{-}Khanjari},
editor = {Debra J. Richardson and
Mary Jean Harold},
title = {Testability, fault size and the domain-to-range ratio: An eternal
triangle},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
pages = {168--172},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347324.349016},
doi = {10.1145/347324.349016},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/issta/WoodwardA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/NearyW00,
author = {Duncan S. Neary and
Martin R. Woodward},
title = {Visual Construction of Algebraic Specifications},
booktitle = {2000 {IEEE} International Symposium on Visual Languages, {VL} 2000,
Seattle, Washington, USA, September 10-13, 2000, Proceedings},
pages = {79--80},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VL.2000.874361},
doi = {10.1109/VL.2000.874361},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/NearyW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward99,
author = {Martin R. Woodward},
title = {Editorial: {V} is for Verification},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {2},
pages = {83--84},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199906)9:2\&\#60;83::AID-STVR183\&\#62;3.0.CO;2-I},
doi = {10.1002/(SICI)1099-1689(199906)9:2\&\#60;83::AID-STVR183\&\#62;3.0.CO;2-I},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/NearyW99,
author = {Duncan S. Neary and
Martin R. Woodward},
editor = {Ray Paton and
Irene Neilson},
title = {Visualisation of the {OBJ} Term Re-writing Process},
booktitle = {Visual Representations and Interpretations},
pages = {351--356},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0563-3\_39},
doi = {10.1007/978-1-4471-0563-3\_39},
timestamp = {Fri, 12 Jun 2020 13:58:34 +0200},
biburl = {https://dblp.org/rec/books/sp/99/NearyW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/WoodwardA98,
author = {Martin R. Woodward and
Stephen Peter Allen},
title = {Slicing algebraic specifications},
journal = {Inf. Softw. Technol.},
volume = {40},
number = {2},
pages = {105--118},
year = {1998},
url = {https://doi.org/10.1016/S0950-5849(98)00029-9},
doi = {10.1016/S0950-5849(98)00029-9},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/WoodwardA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward98,
author = {Martin R. Woodward},
title = {Editorial: Time and time again},
journal = {Softw. Test. Verification Reliab.},
volume = {8},
number = {2},
pages = {59--60},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1099-1689(199806)8:2\&\#60;59::AID-STVR161\&\#62;3.0.CO;2-Z},
doi = {10.1002/(SICI)1099-1689(199806)8:2\&\#60;59::AID-STVR161\&\#62;3.0.CO;2-Z},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward98a,
author = {Martin R. Woodward},
title = {Change of Book Reviews Editor},
journal = {Softw. Test. Verification Reliab.},
volume = {8},
number = {4},
pages = {174--175},
year = {1998},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward97,
author = {Martin R. Woodward},
title = {Editorial: Research publication standards - making the right judgements},
journal = {Softw. Test. Verification Reliab.},
volume = {7},
number = {2},
pages = {67--68},
year = {1997},
url = {https://doi.org/10.1002/(SICI)1099-1689(199706)7:2\&\#60;67::AID-STVR137\&\#62;3.0.CO;2-P},
doi = {10.1002/(SICI)1099-1689(199706)7:2\&\#60;67::AID-STVR137\&\#62;3.0.CO;2-P},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward96,
author = {Martin R. Woodward},
title = {Editorial: Testing - a Sisyphean or Herculean Task?},
journal = {Softw. Test. Verification Reliab.},
volume = {6},
number = {1},
pages = {1--2},
year = {1996},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward95,
author = {Martin R. Woodward},
title = {Editorial: Testing Matters},
journal = {Softw. Test. Verification Reliab.},
volume = {5},
number = {1},
pages = {1--2},
year = {1995},
url = {https://doi.org/10.1002/stvr.4370050102},
doi = {10.1002/STVR.4370050102},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CharltonDLLW94,
author = {Colin C. Charlton and
Paul E. Dunne and
Paul H. Leng and
Janet Little and
Martin R. Woodward},
title = {Distributing quality-controlled software via the internet},
journal = {Microprocess. Microprogramming},
volume = {40},
number = {10-12},
pages = {861--864},
year = {1994},
url = {https://doi.org/10.1016/0165-6074(94)90056-6},
doi = {10.1016/0165-6074(94)90056-6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/CharltonDLLW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward94,
author = {Martin R. Woodward},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {3},
pages = {129--130},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040302},
doi = {10.1002/STVR.4370040302},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Woodward93,
author = {Martin R. Woodward},
title = {Errors in algebraic specifications and an experimental mutation testing
tool},
journal = {Softw. Eng. J.},
volume = {8},
number = {4},
pages = {211--224},
year = {1993},
url = {https://doi.org/10.1049/sej.1993.0027},
doi = {10.1049/SEJ.1993.0027},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Woodward93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/HalewoodW93,
author = {Keith Halewood and
Martin R. Woodward},
title = {A Uniform Graphical View of the Program Construction Process: {GRIPSE}},
journal = {Int. J. Man Mach. Stud.},
volume = {38},
number = {5},
pages = {805--837},
year = {1993},
url = {https://doi.org/10.1006/imms.1993.1038},
doi = {10.1006/IMMS.1993.1038},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/HalewoodW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Woodward93,
author = {Martin R. Woodward},
title = {Mutation testing - its origin and evolution},
journal = {Inf. Softw. Technol.},
volume = {35},
number = {3},
pages = {163--169},
year = {1993},
url = {https://doi.org/10.1016/0950-5849(93)90053-6},
doi = {10.1016/0950-5849(93)90053-6},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Woodward93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward93,
author = {Martin R. Woodward},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {3},
number = {1},
pages = {1--2},
year = {1993},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward92,
author = {Martin R. Woodward},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {2},
number = {1},
pages = {1--2},
year = {1992},
url = {https://doi.org/10.1002/stvr.4370020102},
doi = {10.1002/STVR.4370020102},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/YatesW92,
author = {Derek Yates and
Martin R. Woodward},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {2},
number = {4},
pages = {165--166},
year = {1992},
url = {https://doi.org/10.1002/stvr.4370020402},
doi = {10.1002/STVR.4370020402},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/YatesW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward91,
author = {Martin R. Woodward},
title = {Concerning Ordered Mutation Testing of Relational Operators},
journal = {Softw. Test. Verification Reliab.},
volume = {1},
number = {3},
pages = {35--40},
year = {1991},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/HalewoodW88,
author = {Keith Halewood and
Martin R. Woodward},
title = {{NSEDIT:} {A} Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman
Charts},
journal = {Softw. Pract. Exp.},
volume = {18},
number = {10},
pages = {987--998},
year = {1988},
url = {https://doi.org/10.1002/spe.4380181005},
doi = {10.1002/SPE.4380181005},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/HalewoodW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GirgisW85,
author = {Moheb R. Girgis and
Martin R. Woodward},
editor = {Meir M. Lehman and
Horst H{\"{u}}nke and
Barry W. Boehm},
title = {An Integrated System for Program Testing Using Weak Mutation and Data
Flow Analysis},
booktitle = {Proceedings, 8th International Conference on Software Engineering,
London, UK, August 28-30, 1985},
pages = {313--319},
publisher = {{IEEE} Computer Society},
year = {1985},
url = {http://dl.acm.org/citation.cfm?id=319662},
timestamp = {Mon, 14 May 2012 18:17:18 +0200},
biburl = {https://dblp.org/rec/conf/icse/GirgisW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Woodward84,
author = {Martin R. Woodward},
title = {The Application of Halstead's Software Science Theory to Algol 68
Programs},
journal = {Softw. Pract. Exp.},
volume = {14},
number = {3},
pages = {263--276},
year = {1984},
url = {https://doi.org/10.1002/spe.4380140306},
doi = {10.1002/SPE.4380140306},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Woodward84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WoodwardHH80,
author = {Martin R. Woodward and
David Hedley and
Michael A. Hennell},
title = {Experience with Path Analysis and Testing of Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {6},
number = {3},
pages = {278--286},
year = {1980},
url = {https://doi.org/10.1109/TSE.1980.230473},
doi = {10.1109/TSE.1980.230473},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WoodwardHH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WoodwardHH79,
author = {Martin R. Woodward and
Michael A. Hennell and
David Hedley},
title = {A Measure of Control Flow Complexity in Program Text},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {1},
pages = {45--50},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.226497},
doi = {10.1109/TSE.1979.226497},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WoodwardHH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algol/HennellHW77,
author = {Michael A. Hennell and
David Hedley and
Martin R. Woodward},
title = {Quantifying the test effectiveness of Algol 68 programs},
booktitle = {Proceedings of the Strathclyde {ALGOL} 68 Conference, Glasgow, Scotland,
March 29-31, 1977},
pages = {36--41},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800238.807140},
doi = {10.1145/800238.807140},
timestamp = {Thu, 12 Aug 2021 13:21:01 +0200},
biburl = {https://dblp.org/rec/conf/algol/HennellHW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HennellWH76,
author = {Michael A. Hennell and
Martin R. Woodward and
David Hedley},
title = {On Program Analysis},
journal = {Inf. Process. Lett.},
volume = {5},
number = {5},
pages = {136--140},
year = {1976},
url = {https://doi.org/10.1016/0020-0190(76)90059-4},
doi = {10.1016/0020-0190(76)90059-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HennellWH76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-11-13 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
