External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 8, Issue 4

    173 -- 174R. W. Whitty. Editorial: Quantum Computing, Software Testing and the Millennium Bug
    174 -- 175Martin R. Woodward. Change of Book Reviews Editor
    177 -- 190Manoochehr Ghiassi. Toward a Cooperative Testing Process
    191 -- 211Zorica Mihajlovic, Dusan M. Velasevic. A Knowledge-Based Test Plan Generator for Incremental Unit and Integration Software Testing
    213 -- 214Felix Redmill. Managing Risk: Methods for Software Systems Development, by Elaine M. Hall, Addison Wesley Longman, 1998 (Book Review)

    Volume 8, Issue 3

    111 -- 112Lee J. White. Editorial: What is the Developer-to-Tester Ratio?
    113 -- 132May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly. A Non-Parametric Order Statistics Software Reliability Model
    133 -- 154Zhenyi Jin, A. Jefferson Offutt. Coupling-based Criteria for Integration Testing
    155 -- 166Antonia Bertolino, Lorenzo Strigini. Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection
    167 -- 0Dilip Patel. Object-Oriented Development Process and Metrics, by Dennis de Champeaux and Penelope K. Faure, Prentice Hall, 1997 (Book Review)
    168 -- 0Robert Lockhart. Software Verification and Validation: A Practitioner s Guide, by Steven R. Rakitin, Artech House, 1997 (Book Review)

    Volume 8, Issue 2

    59 -- 60Martin R. Woodward. Editorial: Time and time again
    61 -- 81Florentin Ipate, Mike Holcombe. Specification and Testing Using Generalised Machines: A Presentation and a Case Study
    83 -- 102Hans van der Schoot, Hasan Ural. An Improvement of Partial-Order Verification
    103 -- 104Harold W. Thimbleby. Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review)
    105 -- 106Colin Tully. Software Process Improvement: Practical Guidelines for Business Success, by Sami Zahran, Addison-Wesley, 1997 (Book Review)

    Volume 8, Issue 1

    1 -- 0Derek Yates. Editorial: A History Lesson?
    3 -- 14Ivor T. A. Spence. Specification for Testing - The Removal of Abstraction
    15 -- 47Fevzi Belli, Oliver Jack. Declarative Paradigm of Test Coverage
    49 -- 0Mark B. Josephs. Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review)
    runs on