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

Volume 16, Number 1, March 2006

• Martin R. Woodward:
  Editorial: Testing for real! 1-2
  Electronic Edition (link) BibTeX

• Fevzi Belli, Christof J. Budnik, Lee White:
  Event-based modelling, analysis and testing of user interactions: approach and case study. 3-32
  Electronic Edition (link) BibTeX
• Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
  Formal analysis of some secure procedures for certificate delivery. 33-59
  Electronic Edition (link) BibTeX

• Robert 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. 61
  Electronic Edition (link) BibTeX
• Anthony 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. 62-64
  Electronic Edition (link) BibTeX

Volume 16, Number 2, June 2006

• Derek Yates:
  Editorial: Uncertainty and chaos. 69-70
  Electronic Edition (link) BibTeX

• Brian A. Malloy, James F. Power:
  Exploiting design patterns to automate validation of class invariants. 71-95
  Electronic Edition (link) BibTeX
• Bernard Botella, Arnaud Gotlieb, Claude Michel:
  Symbolic execution of floating-point computations. 97-121
  Electronic Edition (link) BibTeX

• Peter 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. 123-124
  Electronic Edition (link) BibTeX
• Ian 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. 124-125
  Electronic Edition (link) BibTeX

Volume 16, Number 3, September 2006

• Phil McMinn, Robert M. Hierons:
  Editorial: Addressing industrial challenges - UKTest 2005 and beyond. 131-132
  Electronic Edition (link) BibTeX

• Anthony J. H. Simons:
  A theory of regression testing for behaviourally compatible object types. 133-156
  Electronic Edition (link) BibTeX
• Elena Pérez-Miñana, Jean-Jacques Gras:
  Improving fault prediction using Bayesian networks for the development of embedded software applications. 157-174
  Electronic Edition (link) BibTeX
• Mohammad Alshraideh, Leonardo Bottaci:
  Search-based software test data generation for string data using program-specific search operators. 175-203
  Electronic Edition (link) BibTeX

Volume 16, Number 4, December 2006

• Lee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell:
  A Tribute to Martin Woodward. 209-211
  Electronic Edition (link) BibTeX

• Lee J. White:
  Editorial: STVR Editor changes. 213-214
  Electronic Edition (link) BibTeX

• Leonard Gallagher, Jeff Offutt, Anthony Cincotta:
  Integration testing of object-oriented components using finite state machines. 215-266
  Electronic Edition (link) BibTeX
• Kalyan-Ram Chilakamarri, Sebastian G. Elbaum:
  Leveraging disposable instrumentation to reduce coverage collection overhead. 267-288
  Electronic Edition (link) BibTeX

• Robert 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. 289-290
  Electronic Edition (link) BibTeX