default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 1
Volume 1, Number 1, April-June 1991
- Derek Yates:
Editorial. Softw. Test. Verification Reliab. 1(1): 3-4 (1991) - William E. Howden:
Program Testing versus Proofs of Correctness. 5-15 - Alan Veevers:
Some Issues in Software Reliability Assessment. 17-22 - Michael A. Hennell:
How to Avoid Systematic Software Testing. 23-30 - M. Dyer:
Software Reliability - What Is It? 31-38 - Robin W. Whitty:
An Exercise in Weakest Preconditions. 39-43
- Richard Bache:
GOTO considered alive and well. 44-45
- Bob Cole:
Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools, by avid J. Smith and Kenneth B. Wood, Elsevier (Book Review). Softw. Test. Verification Reliab. 1(1): 47-48 (1991)
Volume 1, Number 2, July-September 1991
- Lee J. White:
Editorial. Softw. Test. Verification Reliab. 1(2): 3-4 (1991) - Pascale Thévenod-Fosse, Hélène Waeselynck:
An Investigation of Statistical Software Testing. Softw. Test. Verification Reliab. 1(2): 5-25 (1991) - Norman E. Fenton, Barbara A. Kitchenham:
Validating Software Measures. Softw. Test. Verification Reliab. 1(2): 27-42 (1991) - Mark Fewster:
The Managing Director Wants 100 per cent Automated Testing: A Case History. Softw. Test. Verification Reliab. 1(2): 43-55 (1991)
- J. D. Wigg:
Response to 'GOTO considered alive and well' by R. Bache. Softw. Test. Verification Reliab. 1(2): 57-58 (1991)
- Richard Tinker:
Software Design for Real-Time Systems, by J. E. Cooling, Chapman and Hall, 1990 (Book Review). Softw. Test. Verification Reliab. 1(2): 59-60 (1991) - Martin Bush:
Software Quality and Reliability: Tools and Methods, by Darrel Ince (Editor), Chapman and Hall, 1991 (Book Review). Softw. Test. Verification Reliab. 1(2): 60-61 (1991)
Volume 1, Number 3, October-December 1991
- Robin W. Whitty:
Editorial. Softw. Test. Verification Reliab. 1(3): 3-4 (1991) - Adam C. Marshall:
A Conceptual Model of Software Testing. Softw. Test. Verification Reliab. 1(3): 5-16 (1991) - Dorothy R. Graham:
Software Testing Tools: A New Classification Scheme. Softw. Test. Verification Reliab. 1(3): 17-34 (1991) - Martin R. Woodward:
Concerning Ordered Mutation Testing of Relational Operators. Softw. Test. Verification Reliab. 1(3): 35-40 (1991)
- Norman E. Fenton:
Software Complexity: Measures and Methods, by Horst Zuse, Published by Walter de Gruyter, 1990 (Book Review). Softw. Test. Verification Reliab. 1(3): 41-42 (1991) - Ronald E. Prather:
Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review). Softw. Test. Verification Reliab. 1(3): 43 (1991)
Volume 1, Number 4, January-March 1992
- Derek Yates:
Editorial. Softw. Test. Verification Reliab. 1(4): 1-2 (1992) - I. M. M. Duncan, D. J. Robson:
Parametrized Mutation Testing. Softw. Test. Verification Reliab. 1(4): 3-16 (1992) - Martin Neil:
Multivariate Assessment of Software Products. Softw. Test. Verification Reliab. 1(4): 17-37 (1992) - Stuart H. Zweben, Wayne D. Heym, Jon Kimmich:
Systematic Testing of Data Abstractions Based on Software Specifications. Softw. Test. Verification Reliab. 1(4): 39-55 (1992)
- Dave Preston:
Methods and Tools for Software Configuration Management, by J. Whitgift, Wiley (Book Review). Softw. Test. Verification Reliab. 1(4): 57-59 (1992) - David Mole:
Software Configuration Management, by H. Ronald Berlack, Wiley (Book Review). Softw. Test. Verification Reliab. 1(4): 59-60 (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 2025-01-24 17:13 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:
