default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware Testing, Verification & Reliability (STVR), Volume 5
Volume 5, Number 1, March 1995
- Martin R. Woodward:
Editorial: Testing Matters. 1-2 - K. S. How Tai Wah:
Fault Coupling in Finite Bijective Functions. 3-47 - Kurt M. Olender, James M. Bieman:
Algebraic Specifications and Sequencing: A Defect Detection Method. 49-70
- Rachel Harrison:
Software Testing, by Marc Roper, McGraw-Hill, 1994 (Book Review). 71
Volume 5, Number 2, June 1995
- Derek Yates:
Editorial. 79-80 - Janusz W. Laski, Wojciech Szermer, Piotr Luczycki:
Error Masking in Computer Programs. 81-105 - Stephen Murrell, Robert Plant:
Decision Tables: Formalisation, Validation and Verification. 107-132
- Robin W. Whitty:
Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review). Softw. Test. Verification Reliab. 5(2): 133-135 (1995)
Volume 5, Number 3, September 1995
- Cindy Morelli, Bill Hetzel:
Guest Editorial: EuroSTAR '94. 141-142 - Mark Harman, Sebastian Danicic:
Using Program Slicing to Simplify Testing. 143-162 - Monika Müllerburg:
Systematic Testing: A Means for Validating Reactive Systems. 163-179 - Patrizia Bondi, Guido Simonetti:
Evaluating the Reliability of the Software of a Switching System with a Multi-variable Model. 181-202
- Deryk Pavey:
Safer C: Developing Software for High-Integrity and Safety-Critical Systems, by Les Hatton, McGraw-Hill, 1995 (Book Review). 203-204 - Jennifer Stapleton:
The Handbook of MIS Application Software Testing: Methods, Techniques, and Tools for Assuring Quality Through Testing, by Daniel J. Mosley, Prentice Hall, 1992 (Book Review). 205
Volume 5, Number 4, December 1995
- Lee J. White:
Editorial. 211-212 - Claes Wohlin, Per Runeson
, Johan Brantestam:
An Experimental Evaluation of Capture-Recapture in Software Inspections. 213-232 - Anca I. Vermesan, Trevor J. M. Bench-Capon:
Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. 233-271
- David Wilson:
Software Quality: A Framework for Success in Software Development and Support, by Joc Sanders and Eugene Curran, Addison-Wesley, 1994 (Book Review). 273 - Martin Neil:
Metrics and Models in Software Quality Engineering, by Stephen H. Kan, Addison-Wesley, 1995 (Book Review). 273-275
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-12-23 19:34 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:
