External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 2, Issue 4

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

    Volume 2, Issue 3

    111 -- 0. Editorial
    113 -- 132Marc Roper. Software Testing: A Selected Annotated Bibliography
    133 -- 153Maarten H. van Emden. Structured Inspections of Code
    155 -- 157Chris 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 -- 0Norman E. Fenton. Software Quality: Theory and Management, by Alan C. Gillies, Chapman and Hall, 1992 (Book Review)
    157 -- 0Suman 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)

    Volume 2, Issue 2

    51 -- 52Lee J. White. Editorial
    53 -- 68J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen. Employing Accumulated Knowledge to Refine Test Descriptions
    69 -- 81Hong Zhu, Patrick A. V. Hall, John H. R. May. Inductive Inference and Software Testing
    83 -- 98Andreas Spillner 0002. Control Flow and Data Flow Oriented Integration Test Methods
    99 -- 103Bryan Bridge. Reliability and Robustness of Engineering Software II, by C. A. Brebbia and A. J. Ferrante (Editors), Computational Mechanics Publications, 1991 (Book Review)
    99 -- 0Marianne Müller. Statistical Methods for Testing, Development and Manufacturing, by Forrest W. Breyfogle III, Wiley, 1992 (Book Review)

    Volume 2, Issue 1

    1 -- 2. Editorial
    3 -- 6Kenneth A. Foster. An Example of Testing Versus Verification
    5 -- 0Motoei Azuma. Dependable Computing and Fault-Tolerant Systems, Vol
    7 -- 23Gilbert Laycock. Formal Specification and Testing: A Case Study
    25 -- 42Jeffrey M. Voas, Keith W. Miller. The Revealing Power of a Test Case
    43 -- 44James M. Bieman. Rapid Evolutionary Development: Requirements; Prototyping and Software Creation, by Lowell Jay Arthur, Wiley, 1992 (Book Review)
    44 -- 45Norman E. Fenton. The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review)
    runs on