Software Testing, Verification & Reliability (STVR), Volume 8

Volume 8, Number 1, March 1998

• Derek Yates: Editorial: A History Lesson? 1
• Ivor T. A. Spence: Specification for Testing - The Removal of Abstraction. 3-14
• Fevzi Belli, Oliver Jack: Declarative Paradigm of Test Coverage. 15-47

• Mark B. Josephs: Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review). 49

Volume 8, Number 2, June 1998

• Martin R. Woodward: Editorial: Time and time again. 59-60
• Florentin Ipate, Mike Holcombe: Specification and Testing Using Generalised Machines: A Presentation and a Case Study. 61-81
• Hans van der Schoot, Hasan Ural: An Improvement of Partial-Order Verification. 83-102

• Harold W. Thimbleby: Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review). 103-104
• Colin Tully: Software Process Improvement: Practical Guidelines for Business Success, by Sami Zahran, Addison-Wesley, 1997 (Book Review). 105-106

Volume 8, Number 3, September 1998

• Lee J. White: Editorial: What is the Developer-to-Tester Ratio? 111-112
• May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly: A Non-Parametric Order Statistics Software Reliability Model. 113-132
• Zhenyi Jin, A. Jefferson Offutt: Coupling-based Criteria for Integration Testing. 133-154
• Antonia Bertolino, Lorenzo Strigini: Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. 155-166

• Dilip Patel: Object-Oriented Development Process and Metrics, by Dennis de Champeaux and Penelope K. Faure, Prentice Hall, 1997 (Book Review). 167
• Robert Lockhart: Software Verification and Validation: A Practitioner's Guide, by Steven R. Rakitin, Artech House, 1997 (Book Review). 168

Volume 8, Number 4, December 1998

• R. W. Whitty: Editorial: Quantum Computing, Software Testing and the Millennium Bug. 173-174
• Martin R. Woodward: Change of Book Reviews Editor. 174-175
• Manoochehr Ghiassi: Toward a Cooperative Testing Process. 177-190
• Zorica Mihajlovic, Dusan M. Velasevic: A Knowledge-Based Test Plan Generator for Incremental Unit and Integration Software Testing. 191-211

• Felix Redmill: Managing Risk: Methods for Software Systems Development, by Elaine M. Hall, Addison Wesley Longman, 1998 (Book Review). 213-214