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

Volume 2, Number 1, May 1992

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

• James M. Bieman:
  Rapid Evolutionary Development: Requirements; Prototyping and Software Creation, by Lowell Jay Arthur, Wiley, 1992 (Book Review). 43-44
  
• Norman E. Fenton:
  The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review). 44-45
  
• Motoei Azuma: Dependable Computing and Fault-Tolerant Systems, Vol. 5 - 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
  
• J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen:
  Employing Accumulated Knowledge to Refine Test Descriptions. 53-68
  
• Hong Zhu, Patrick A. V. Hall, John H. R. May:
  Inductive Inference and Software Testing. 69-81
  
• Andreas Spillner:
  Control Flow and Data Flow Oriented Integration Test Methods. 83-98
  

• Marianne Müller:
  Statistical Methods for Testing, Development and Manufacturing, by Forrest W. Breyfogle III, Wiley, 1992 (Book Review). 99
  
• 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
  

Volume 2, Number 3, September 1992

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

• Norman E. Fenton:
  Software Quality: Theory and Management, by Alan C. Gillies, Chapman and Hall, 1992 (Book Review). 155
  
• 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
  
• 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
  

Volume 2, Number 4, December 1992

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

• 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

Last update Mon May 20 03:42:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page