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

Volume 5, Number 1, March 1995

• Martin R. Woodward:
  Editorial: Testing Matters. 1-2
  
• K. S. How Tai Wah:
  Fault Coupling in Finite Bijective Functions. 3-47
  
• Kurt M. Olender, James M. Bieman:
  Algebraic Specifications and Sequencing: A Defect Detection Method. 49-70
  

• Rachel Harrison:
  Software Testing, by Marc Roper, McGraw-Hill, 1994 (Book Review). 71
  

Volume 5, Number 2, June 1995

• Derek Yates:
  Editorial. 79-80
  
• Janusz W. Laski, Wojciech Szermer, Piotr Luczycki:
  Error Masking in Computer Programs. 81-105
  
• Stephen Murrell, Robert Plant:
  Decision Tables: Formalisation, Validation and Verification. 107-132
  

• R. W. Whitty: Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review). 133-135

Volume 5, Number 3, September 1995

• Cindy Morelli, Bill Hetzel:
  Guest Editorial: EuroSTAR '94. 141-142
  
• Mark Harman, Sebastian Danicic:
  Using Program Slicing to Simplify Testing. 143-162
  
• Monika Müllerburg:
  Systematic Testing: A Means for Validating Reactive Systems. 163-179
  
• Patrizia Bondi, Guido Simonetti:
  Evaluating the Reliability of the Software of a Switching System with a Multi-variable Model. 181-202
  

• Deryk Pavey:
  Safer C: Developing Software for High-Integrity and Safety-Critical Systems, by Les Hatton, McGraw-Hill, 1995 (Book Review). 203-204
  
• Jennifer Stapleton:
  The Handbook of MIS Application Software Testing: Methods, Techniques, and Tools for Assuring Quality Through Testing, by Daniel J. Mosley, Prentice Hall, 1992 (Book Review). 205
  

Volume 5, Number 4, December 1995

• Lee J. White:
  Editorial. 211-212
  
• Claes Wohlin, Per Runeson, Johan Brantestam:
  An Experimental Evaluation of Capture-Recapture in Software Inspections. 213-232
  
• Anca I. Vermesan, Trevor J. M. Bench-Capon:
  Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. 233-271
  

• David Wilson:
  Software Quality: A Framework for Success in Software Development and Support, by Joc Sanders and Eugene Curran, Addison-Wesley, 1994 (Book Review). 273
  
• Martin Neil:
  Metrics and Models in Software Quality Engineering, by Stephen H. Kan, Addison-Wesley, 1995 (Book Review). 273-275
  

Last update Thu May 23 19:30:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page