External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 5, Issue 4

    211 -- 212. Editorial
    213 -- 232Claes Wohlin, Per Runeson, Johan Brantestam. An Experimental Evaluation of Capture-Recapture in Software Inspections
    233 -- 271Anca 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
    273 -- 275Martin Neil. Metrics and Models in Software Quality Engineering, by Stephen H. Kan, Addison-Wesley, 1995 (Book Review)
    273 -- 0David Wilson. Software Quality: A Framework for Success in Software Development and Support, by Joc Sanders and Eugene Curran, Addison-Wesley, 1994 (Book Review)

    Volume 5, Issue 3

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

    Volume 5, Issue 2

    79 -- 80Derek Yates. Editorial
    81 -- 105Janusz W. Laski, Wojciech Szermer, Piotr Luczycki. Error Masking in Computer Programs
    107 -- 132Stephen Murrell, Robert Plant. Decision Tables: Formalisation, Validation and Verification
    133 -- 135R. 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

    Volume 5, Issue 1

    1 -- 2Martin R. Woodward. Editorial: Testing Matters
    3 -- 47K. S. How Tai Wah. Fault Coupling in Finite Bijective Functions
    49 -- 70Kurt M. Olender, James M. Bieman. Algebraic Specifications and Sequencing: A Defect Detection Method
    71 -- 0Rachel Harrison. Software Testing, by Marc Roper, McGraw-Hill, 1994 (Book Review)
    runs on