default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 8
Volume 8, Number 1, March 1998
- Derek Yates:
Editorial: A History Lesson? 1 - Ivor T. A. Spence:
Specification for Testing - The Removal of Abstraction. 3-14 - Fevzi Belli, Oliver Jack:
Declarative Paradigm of Test Coverage. 15-47
- Mark B. Josephs:
Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review). 49
Volume 8, Number 2, June 1998
- Martin R. Woodward:
Editorial: Time and time again. 59-60 - Florentin Ipate, Mike Holcombe:
Specification and Testing Using Generalised Machines: A Presentation and a Case Study. 61-81 - Hans van der Schoot, Hasan Ural:
An Improvement of Partial-Order Verification. 83-102
- Harold W. Thimbleby:
Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review). 103-104 - Colin Tully:
Software Process Improvement: Practical Guidelines for Business Success, by Sami Zahran, Addison-Wesley, 1997 (Book Review). 105-106
Volume 8, Number 3, September 1998
- Lee J. White:
Editorial: What is the Developer-to-Tester Ratio? Softw. Test. Verification Reliab. 8(3): 111-112 (1998) - May Barghout, Bev Littlewood, Abdallah A. Abdel-Ghaly:
A Non-Parametric Order Statistics Software Reliability Model. 113-132 - Zhenyi Jin, A. Jefferson Offutt:
Coupling-based Criteria for Integration Testing. 133-154 - Antonia Bertolino
, Lorenzo Strigini:
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. 155-166
- Dilip Patel:
Object-Oriented Development Process and Metrics, by Dennis de Champeaux and Penelope K. Faure, Prentice Hall, 1997 (Book Review). 167 - Robert Lockhart:
Software Verification and Validation: A Practitioner's Guide, by Steven R. Rakitin, Artech House, 1997 (Book Review). 168
Volume 8, Number 4, December 1998
- Robin W. Whitty:
Editorial: Quantum Computing, Software Testing and the Millennium Bug. Softw. Test. Verification Reliab. 8(4): 173-174 (1998) - Martin R. Woodward:
Change of Book Reviews Editor. Softw. Test. Verification Reliab. 8(4): 174-175 (1998) - Manoochehr Ghiassi:
Toward a Cooperative Testing Process. 177-190 - Zorica Mihajlovic, Dusan M. Velasevic:
A Knowledge-Based Test Plan Generator for Incremental Unit and Integration Software Testing. 191-211
- Felix Redmill:
Managing Risk: Methods for Software Systems Development, by Elaine M. Hall, Addison Wesley Longman, 1998 (Book Review). 213-214
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-12-04 22:08 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:
