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

Volume 1, Number 1, April-June 1991

• Derek Yates: Editorial. 3-4
• William E. Howden:
  Program Testing versus Proofs of Correctness. 5-15
  
• Alan Veevers:
  Some Issues in Software Reliability Assessment. 17-22
  
• Michael A. Hennell:
  How to Avoid Systematic Software Testing. 23-30
  
• M. Dyer:
  Software Reliability - What Is It? 31-38
  
• R. W. Whitty:
  An Exercise in Weakest Preconditions. 39-43
  

• Richard Bache:
  GOTO considered alive and well. 44-45
  

• Bob Cole: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools, by avid J. Smith and Kenneth B. Wood, Elsevier (Book Review). 47-48

Volume 1, Number 2, July-September 1991

• Lee J. White: Editorial. 3-4
• Pascale Thévenod-Fosse, Hélène Waeselynck: An Investigation of Statistical Software Testing. 5-25
• Norman E. Fenton, Barbara Kitchenham: Validating Software Measures. 27-42
• Mark Fewster: The Managing Director Wants 100 per cent Automated Testing: A Case History. 43-55

• J. D. Wigg: Response to `GOTO considered alive and well' by R. Bache. 57-58

• Richard Tinker: Software Design for Real-Time Systems, by J. E. Cooling, Chapman and Hall, 1990 (Book Review). 59-60
• Martin Bush: Software Quality and Reliability: Tools and Methods, by Darrel Ince (Editor), Chapman and Hall, 1991 (Book Review). 60-61

Volume 1, Number 3, October-December 1991

• R. W. Whitty: Editorial. 3-4
• Adam C. Marshall: A Conceptual Model of Software Testing. 5-16
• Dorothy R. Graham: Software Testing Tools: A New Classification Scheme. 17-34
• Martin R. Woodward: Concerning Ordered Mutation Testing of Relational Operators. 35-40

• Norman E. Fenton: Software Complexity: Measures and Methods, by Horst Zuse, Published by Walter de Gruyter, 1990 (Book Review). 41-42
• Ronald E. Prather: Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review). 43

Volume 1, Number 4, January-March 1992

• Derek Yates: Editorial. 1-2
• I. M. M. Duncan, D. J. Robson: Parametrized Mutation Testing. 3-16
• Martin Neil: Multivariate Assessment of Software Products. 17-37
• Stuart H. Zweben, Wayne D. Heym, Jon Kimmich: Systematic Testing of Data Abstractions Based on Software Specifications. 39-55

• Dave Preston: Methods and Tools for Software Configuration Management, by J. Whitgift, Wiley (Book Review). 57-59
• David Mole: Software Configuration Management, by H. Ronald Berlack, Wiley (Book Review). 59-60

Last update Tue May 21 19:38:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page