Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.