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

Volume 2, Number 1, May 1992

• Martin R. Woodward: Editorial. 1-2 BibTeX
• Kenneth A. Foster: An Example of Testing Versus Verification. 3-6 BibTeX
• Gilbert Laycock: Formal Specification and Testing: A Case Study. 7-23 BibTeX
• Jeffrey M. Voas, Keith W. Miller: The Revealing Power of a Test Case. 25-42 BibTeX

• James M. Bieman: Rapid Evolutionary Development: Requirements; Prototyping and Software Creation, by Lowell Jay Arthur, Wiley, 1992 (Book Review). 43-44 BibTeX
• Norman E. Fenton: The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review). 44-45 BibTeX
• Motoei Azuma: Dependable Computing and Fault-Tolerant Systems, Vol. 5 BibTeX - Dependability: Basic Concepts and Terminology, by J. C. Laprie (Editor), Springer-Verlag, 1992 (Book Review). 45-46

Volume 2, Number 2, July 1992

• Lee J. White: Editorial. 51-52 BibTeX
• J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen: Employing Accumulated Knowledge to Refine Test Descriptions. 53-68 BibTeX
• Hong Zhu, Patrick A. V. Hall, John H. R. May: Inductive Inference and Software Testing. 69-81 BibTeX
• Andreas Spillner: Control Flow and Data Flow Oriented Integration Test Methods. 83-98 BibTeX

• Marianne Müller: Statistical Methods for Testing, Development and Manufacturing, by Forrest W. Breyfogle III, Wiley, 1992 (Book Review). 99 BibTeX
• Bryan Bridge: Reliability and Robustness of Engineering Software II, by C. A. Brebbia and A. J. Ferrante (Editors), Computational Mechanics Publications, 1991 (Book Review). 99-103 BibTeX

Volume 2, Number 3, September 1992

• R. W. Whitty: Editorial. 111 BibTeX
• Marc Roper: Software Testing: A Selected Annotated Bibliography. 113-132 BibTeX
• Maarten H. van Emden: Structured Inspections of Code. 133-153 BibTeX

• Norman E. Fenton: Software Quality: Theory and Management, by Alan C. Gillies, Chapman and Hall, 1992 (Book Review). 155 BibTeX
• Chris Miller: Software Metrics: a Practitioner's Guide to Improved Product Development, by K. H. Möller and D.J. Paulish, Chapman and Hall, 1992 (Book Review). 155-157 BibTeX
• Suman Sharma: ami Handbook: a Quantitative Approach to Software Management, by A. Combelles, J. Holdsworth and S. Shirlaw (Editors), Published by South Bank University, 1992 (Book Review). 157 BibTeX

Volume 2, Number 4, December 1992

• Derek Yates, Martin R. Woodward: Editorial. 165-166 BibTeX
• Brian A. Wichmann, M. G. Cox: Problems and Strategies for Software Component Testing Standards. 167-185 BibTeX
• Andrew Storey: A Specification Case Study Using the B-Methodology. 187-202 BibTeX
• Bogdan Korel: Dynamic Method of Software Test Data Generation. 203-213 BibTeX

• R. W. Whitty: Software Testing Techniques, by Boris Beizer, Van Nostrand Reinhold, Second Edition, 1990 and Testing Computer Software, by C. Kaner, J. Falik and H. Q. Nguyen, Van Nostrand Reinhold, Second Edition, 1993 (Book Review). 215-216 BibTeX