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
• R. 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). 51
• 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

• R. 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
• W. J. Yeh, M. Young: Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study. 223-253

• R. W. Whitty: Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice Hall, 1994 (Book Review). 255-256