Journal: Softw. Test., Verif. Reliab.

Volume 16, Issue 4

209 -- 211Lee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell. A Tribute to Martin Woodward
213 -- 214Lee J. White. Editorial: STVR Editor changes
215 -- 266Leonard Gallagher, Jeff Offutt, Anthony Cincotta. Integration testing of object-oriented components using finite state machines
267 -- 288Kalyan-Ram Chilakamarri, Sebastian G. Elbaum. Leveraging disposable instrumentation to reduce coverage collection overhead
289 -- 290Robert M. Hierons. Software Testing Foundations: A Study Guide for the Certified Tester Exam. By Andreas Spillner, Tilo Linz and Hans Schaefer. Published by dpunkt.verlag, Heidelberg, Germany, 2006, ISBN: 3-89864-363-8, pp 266

Volume 16, Issue 3

131 -- 132Phil McMinn, Robert M. Hierons. Editorial: Addressing industrial challenges - UKTest 2005 and beyond
133 -- 156Anthony J. H. Simons. A theory of regression testing for behaviourally compatible object types
157 -- 174Elena Pérez-Miñana, Jean-Jacques Gras. Improving fault prediction using Bayesian networks for the development of embedded software applications
175 -- 203Mohammad Alshraideh, Leonardo Bottaci. Search-based software test data generation for string data using program-specific search operators

Volume 16, Issue 2

69 -- 70Derek Yates. Editorial: Uncertainty and chaos
71 -- 95Brian A. Malloy, James F. Power. Exploiting design patterns to automate validation of class invariants
97 -- 121Bernard Botella, Arnaud Gotlieb, Claude Michel. Symbolic execution of floating-point computations
123 -- 124Peter Morgan. Successful Test Management: An Integral Approach. By Iris Pinkster, Bob van de Burgt, Dennis Janssen, and Erik van Veenendaal. Springer, 2004, ISBN: 3-540-22822-5, pp 373
124 -- 125Ian Gilchrist. Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement. By Jeff Tian. Wiley/IEEE Computer Society Press, 2005. ISBN: 0-471-71345-7, pp 412

Volume 16, Issue 1

1 -- 2Martin R. Woodward. Editorial: Testing for real!
3 -- 32Fevzi Belli, Christof J. Budnik, Lee White. Event-based modelling, analysis and testing of user interactions: approach and case study
33 -- 59Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli. Formal analysis of some secure procedures for certificate delivery
61 -- 0Robert M. Hierons. Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410
62 -- 64Anthony J. H. Simons. Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Wiley, 2005, ISBN: 0-471-72783-0, 271 pp