default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 16
Volume 16, Number 1, March 2006
- Martin R. Woodward:
Editorial: Testing for real! 1-2
- Fevzi Belli, Christof J. Budnik, Lee White:
Event-based modelling, analysis and testing of user interactions: approach and case study. 3-32 - Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal analysis of some secure procedures for certificate delivery. 33-59
- 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 - 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
Volume 16, Number 2, June 2006
- Derek Yates:
Editorial: Uncertainty and chaos. 69-70
- Brian A. Malloy, James F. Power:
Exploiting design patterns to automate validation of class invariants. 71-95 - Bernard Botella, Arnaud Gotlieb, Claude Michel:
Symbolic execution of floating-point computations. 97-121
- 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 - 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
Volume 16, Number 3, September 2006
- Phil McMinn, Robert M. Hierons:
Editorial: Addressing industrial challenges - UKTest 2005 and beyond. 131-132
- Anthony J. H. Simons:
A theory of regression testing for behaviourally compatible object types. 133-156 - Elena Pérez-Miñana, Jean-Jacques Gras:
Improving fault prediction using Bayesian networks for the development of embedded software applications. 157-174 - Mohammad Aref Alshraideh, Leonardo Bottaci:
Search-based software test data generation for string data using program-specific search operators. 175-203
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
- Lee J. White:
Editorial: STVR Editor changes. 213-214
- Leonard Gallagher, Jeff Offutt, Anthony Cincotta:
Integration testing of object-oriented components using finite state machines. 215-266 - Kalyan-Ram Chilakamarri, Sebastian G. Elbaum:
Leveraging disposable instrumentation to reduce coverage collection overhead. 267-288
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
