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

Volume 1, Number 1, April-June 1991

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

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

• 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 BibTeX

Volume 1, Number 2, July-September 1991

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

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

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

Volume 1, Number 3, October-December 1991

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

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

Volume 1, Number 4, January-March 1992

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

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