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

Volume 9, Number 1, March 1999

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

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

Volume 9, Number 2, June 1999

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

• Simon Burton: Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review). 135-136 BibTeX
• 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 BibTeX

Volume 9, Number 3, September 1999

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

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

Volume 9, Number 4, December 1999

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

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