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

Volume 5, Number 1, March 1995

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

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

Volume 5, Number 2, June 1995

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

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

Volume 5, Number 3, September 1995

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

• Deryk Pavey: Safer C: Developing Software for High-Integrity and Safety-Critical Systems, by Les Hatton, McGraw-Hill, 1995 (Book Review). 203-204 BibTeX
• 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 BibTeX

Volume 5, Number 4, December 1995

• Lee J. White: Editorial. 211-212 BibTeX
• Claes Wohlin, Per Runeson, Johan Brantestam: An Experimental Evaluation of Capture-Recapture in Software Inspections. 213-232 BibTeX
• 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 BibTeX

• 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 BibTeX
• Martin Neil: Metrics and Models in Software Quality Engineering, by Stephen H. Kan, Addison-Wesley, 1995 (Book Review). 273-275 BibTeX