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

last updated on Sat May 18 06:38:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page