![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Software Testing, Verification & Reliability (STVR), Volume 4
Volume 4, Number 1, March 1994
- Derek Yates:
Editorial. 1-2 - Alan Veevers, Adam C. Marshall:
A Relationship Between Software Coverage Metrics and Reliability. 3-8 - Aditya P. Mathur, W. Eric Wong:
An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria. 9-31 - Harry M. Sneed:
Validating Functional Equivalence of Re-engineered Programs via Control Path, Result, and Data Flow Comparison. 33-44
- Boris Beizer:
Rebuttal of the Book Review by R. Whitty of 'Software Testing Techniques' (2nd Edition). 45-48 - Robin W. Whitty:
Reply to the Rebuttal of the Review of Beizer's 'Software Testing Techniques' (2nd Edition). 49
- Thom Gillespie:
User Interface Software, by Len Bass and Prasun Dewan (Editors), Wiley, 1993 (Book Review). Softw. Test. Verification Reliab. 4(1): 51 (1994) - Mikey Williams:
Developing User Interfaces: Ensuring Usability Through Product and Process, by Deborah Hix and H. Rex Hartson, Wiley, 1993 (Book Review). 51-53
Volume 4, Number 2, June 1994
- Robin W. Whitty:
Editorial. 61-62 - John Bainbridge:
Defining Testability Metrics Axiomatically. 63-80 - Colin J. Burgess:
The Automated Generation of Test Cases for Compilers. 81-99 - Ann Jackson, Daniel Hoffman:
Inspecting Module Interface Specifications. 101-117
- Norman E. Fenton:
Software Engineering Metrics, Volume 1: Measures and Validations, by Martin Sheppard, McGraw-Hill, 1993 (Book Review). 119 - Norbert Fuchs:
ISO 9001 and Software Quality Assurance, by Darrel Ince, McGraw-Hill, 1994 (Book Review). 119-120
Volume 4, Number 3, September 1994
- Martin R. Woodward:
Editorial. 129-130 - A. Jefferson Offutt, W. M. Craft:
Using Compiler Optimization Techniques to Detect Equivalent Mutants. 131-154 - Kevin Lano:
Transformational Program Analysis. 155-189
- David Mole:
Z - An Introduction to Formal Methods, by Antoni Diller, Wiley, Second Edition, 1994 (Book Review). 191 - Bruce Elliott:
Cutting Your Test Development Time with HP VEE, an Iconic Programming Language, Hewlett-Packard, 1994 (Book Review). 192
Volume 4, Number 4, December 1994
- Lee J. White:
Editorial: Too Many Conference Choices? 199-201 - Alireza Azem, Fevzi Belli:
Determining the Reliability of Prolog Programs. 203-222 - Wei Jen Yeh, Michal Young:
Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study. 223-253
- Robin W. Whitty:
Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice Hall, 1994 (Book Review). 255-256
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.