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

Volume 8, Number 1, March 1998

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

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

Volume 8, Number 2, June 1998

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

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

Volume 8, Number 3, September 1998

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

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

Volume 8, Number 4, December 1998

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

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