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

Volume 7, Number 1, March 1997

• Derek Yates: Editorial. 1-2
• Hareton K. N. Leung: Improving the Testing Process Based Upon Standards. 3-18
• Robert M. Hierons: Testing from a Z Specification. 19-33
• Mehmet Sahinoglu, Ünal Can: Alternative Parameter Estimation Methods for the Compound Poisson Software Reliability Model with Clustered Failure Data. 35-57

• Min Xie: Handbook of Software Reliability Engineering, by Michael R. Lyu (Editor), McGraw-Hill and IEEE Computer Society, 1996 (Book Review). 59-60
• Alan B. Hayes: Object-Oriented Software Testing: A Hierarchical Approach, by Shel Siegel, Wiley, 1996 (Book Reviews). 60-61

Volume 7, Number 2, June 1997

• Martin R. Woodward: Editorial: Research publication standards - making the right judgements. 67-68
• R. Iorgulescu, Rudolph E. Seviora: A Method for Continuous Real-Time Supervision. 69-98
• Fraser MacDonald, James Miller: A Software Inspection Process Definition Language and Prototype Support Tool. 99-128

• Hé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). 129-130
• R. 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). 130-132

Volume 7, Number 3, September 1997

• R. W. Whitty: Editorial: What do we want to get out of testing? 137-138
• Richard Bache: The Effect of Fault Size on Testing. 139-152
• Robert M. Hierons, Michael P. Wiper: Estimation of Failure Rate using Random and Partition Testing. 153-164
• A. Jefferson Offutt, Jie Pan: Automatically Detecting Equivalent Mutants and Infeasible Paths. 165-192

• Richard Bache: Reliability, Quality and Safety of Software-intensive Systems, by Dimitris Gritzalis (Editor), Chapman and Hall, 1997 (Book Review). 193
• Tracy Hall: Managing Software Quality, by Brian Hambling, McGraw-Hill, 1996 (Book Review). 194

Volume 7, Number 4, December 1997

• Lee J. White: Editorial: A six-year perspective - the readership and content of STVR. 199-200
• Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson: Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques. 201-227
• Thomas Ericson, Anders Subotic, Stig Ursing: TIM - A Test Improvement Model. 229-246

• Robert Lockhart: Information Security in Research and Business, by Louise Yngström and Jan Carlsen (Editors), Thomson Science & Professional, 1997 (Book Review). 247-248