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

Volume 9, Number 1, March 1999

• Derek Yates: Editorial: Crisis - What Crisis? 1-2
• Daniel Hoffman, Paul A. Strooper, Lee J. White: Boundary Values and Automated Component Testing. 3-26
• John Derrick, Eerke A. Boiten: Testing Refinements of State-based Formal Specifications. 27-50
• Delia I. S. Marx, Phyllis G. Frankl: Path-sensitive Alias Analysis for Data Flow Testing. 51-73

• Stuart Reid: Software Fault Injection: Inoculating Programs Against Errors, by Jeffrey Voas and Gary McGraw, Wiley, 1998 (Book Review). 75-76
• Robert M. Hierons: Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review). 76-77

Volume 9, Number 2, June 1999

• Martin R. Woodward: Editorial: V is for Verification. 83-84
• Myla Archer, Amy Lo, Ronald A. Olsson: Towards a Transformational Approach to Program Verification. 85-106
• Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt: LVT: A Layered Verification Technique for Distributed Computing Systems. 107-133

• Simon Burton: Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review). 135-136
• Dorothy R. Graham: Surviving the Top Ten Challenges of Software Testing: a People-Oriented Approach, by William E. Perry and Randall W. Rice, Dorset House, 1997 (Book Review). 136-137

Volume 9, Number 3, September 1999

• Robert M. Hierons: Editorial: What does testing tell us? 143-144
• Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini: A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. 145-166
• James Miller: Estimating the Number of Remaining Defects after Inspection. 167-189

• Robert M. Hierons: Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review). 191-193
• Marc Roper: Testing Object-Oriented Software, by David C. Kung, Pei Hsia and Jerry Gao, IEEE Computer Society, 1998 (Book Review). 193-194

Volume 9, Number 4, December 1999

• Lee J. White: Editorial: Submission of Position Papers and Letters to the Editor. 199-200
• Richard G. Hamlet: Tribute: John Gannon. 201-203
• Elfurjani S. Mresa, Leonardo Bottaci: Efficiency of Mutation Operators and Selective Mutation Strategies: An Empirical Study. 205-232
• Robert M. Hierons, Mark Harman, Sebastian Danicic: Using Program Slicing to Assist in the Detection of Equivalent Mutants. 233-262
• Roy P. Pargas, Mary Jean Harrold, Robert Peck: Test-Data Generation Using Genetic Algorithms. 263-282

• Hongji Yang: The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Ian Warren, Springer-Verlag, 1999 (Book Review). 283
• Geoff Quentin: Automated Software Testing: Introduction, Management and Performance, Elfriede Dustin, Jeff Rashka and John Paul, Addison-Wesley, 1999 (Book Review). 283-284