External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 7, Issue 4

    199 -- 200Lee J. White. Editorial: A six-year perspective - the readership and content of STVR
    201 -- 227Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson. Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques
    229 -- 246Thomas Ericson, Anders Subotic, Stig Ursing. TIM - A Test Improvement Model
    247 -- 248Robert Lockhart. Information Security in Research and Business, by Louise Yngström and Jan Carlsen (Editors), Thomson Science & Professional, 1997 (Book Review)

    Volume 7, Issue 3

    137 -- 138R. W. Whitty. Editorial: What do we want to get out of testing?
    139 -- 152Richard Bache. The Effect of Fault Size on Testing
    153 -- 164Robert M. Hierons, Michael P. Wiper. Estimation of Failure Rate using Random and Partition Testing
    165 -- 192A. Jefferson Offutt, Jie Pan. Automatically Detecting Equivalent Mutants and Infeasible Paths
    193 -- 0Richard Bache. Reliability, Quality and Safety of Software-intensive Systems, by Dimitris Gritzalis (Editor), Chapman and Hall, 1997 (Book Review)
    194 -- 0Tracy Hall. Managing Software Quality, by Brian Hambling, McGraw-Hill, 1996 (Book Review)

    Volume 7, Issue 2

    67 -- 68Martin R. Woodward. Editorial: Research publication standards - making the right judgements
    69 -- 98R. Iorgulescu, Rudolph E. Seviora. A Method for Continuous Real-Time Supervision
    99 -- 128Fraser MacDonald, James Miller. A Software Inspection Process Definition Language and Prototype Support Tool
    129 -- 130Hélène Waeselynck. Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review)
    130 -- 132R. W. Whitty. Software Inspection: An Industry Best Practice, by David A. Wheeler, Bill Brykczynski and Reginald N Meeson, Jr., IEEE Computer Society, 1996 (Book Review)

    Volume 7, Issue 1

    1 -- 2Derek Yates. Editorial
    3 -- 18Hareton K. N. Leung. Improving the Testing Process Based Upon Standards
    19 -- 33Robert M. Hierons. Testing from a Z Specification
    35 -- 57Mehmet Sahinoglu, Ünal Can. Alternative Parameter Estimation Methods for the Compound Poisson Software Reliability Model with Clustered Failure Data
    59 -- 60Min Xie. Handbook of Software Reliability Engineering, by Michael R. Lyu (Editor), McGraw-Hill and IEEE Computer Society, 1996 (Book Review)
    60 -- 61Alan B. Hayes. Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews)
    runs on