default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 2
Volume 2, Number 1, May 1992
- Martin R. Woodward:
Editorial. 1-2 - Kenneth A. Foster:
An Example of Testing Versus Verification. 3-6 - Gilbert Thomas Laycock:
Formal Specification and Testing: A Case Study. 7-23 - Jeffrey M. Voas, Keith W. Miller:
The Revealing Power of a Test Case. 25-42
- James M. Bieman:
Rapid Evolutionary Development: Requirements; Prototyping and Software Creation, by Lowell Jay Arthur, Wiley, 1992 (Book Review). 43-44 - Norman E. Fenton:
The Cleanroom Approach to Quality Software Development, by Michael Dyer, Wiley, 1992 (Book Review). 44-45 - Motoei Azuma:
Dependable Computing and Fault-Tolerant Systems, Vol. 5 - Dependability: Basic Concepts and Terminology, by J. C. Laprie (Editor), Springer-Verlag, 1992 (Book Review). Softw. Test. Verification Reliab. 2(1): 45-46 (1992)
Volume 2, Number 2, July 1992
- Lee J. White:
Editorial. 51-52 - J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen:
Employing Accumulated Knowledge to Refine Test Descriptions. 53-68 - Hong Zhu, Patrick A. V. Hall, John H. R. May:
Inductive Inference and Software Testing. 69-81 - Andreas Spillner:
Control Flow and Data Flow Oriented Integration Test Methods. 83-98
- Marianne Müller:
Statistical Methods for Testing, Development and Manufacturing, by Forrest W. Breyfogle III, Wiley, 1992 (Book Review). 99 - Bryan Bridge:
Reliability and Robustness of Engineering Software II, by C. A. Brebbia and A. J. Ferrante (Editors), Computational Mechanics Publications, 1991 (Book Review). 99-103
Volume 2, Number 3, September 1992
- Robin W. Whitty:
Editorial. 111 - Marc Roper:
Software Testing: A Selected Annotated Bibliography. 113-132 - Maarten H. van Emden:
Structured Inspections of Code. 133-153
- Norman E. Fenton
:
Software Quality: Theory and Management, by Alan C. Gillies, Chapman and Hall, 1992 (Book Review). 155 - Chris Miller:
Software Metrics: a Practitioner's Guide to Improved Product Development, by K. H. Möller and D.J. Paulish, Chapman and Hall, 1992 (Book Review). 155-157 - Suman Sharma:
ami Handbook: a Quantitative Approach to Software Management, by A. Combelles, J. Holdsworth and S. Shirlaw (Editors), Published by South Bank University, 1992 (Book Review). 157
Volume 2, Number 4, December 1992
- Derek Yates, Martin R. Woodward:
Editorial. 165-166 - Brian A. Wichmann, M. G. Cox:
Problems and Strategies for Software Component Testing Standards. 167-185 - Andrew Storey:
A Specification Case Study Using the B-Methodology. 187-202 - Bogdan Korel:
Dynamic Method of Software Test Data Generation. 203-213
- Robin W. Whitty:
Software Testing Techniques, by Boris Beizer, Van Nostrand Reinhold, Second Edition, 1990 and Testing Computer Software, by C. Kaner, J. Falik and H. Q. Nguyen, Van Nostrand Reinhold, Second Edition, 1993 (Book Review). Softw. Test. Verification Reliab. 2(4): 215-216 (1992)
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 2024-11-08 20:35 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:
