Software Testing, Verification & Reliability (STVR), Volume 4

Volume 4, Number 1, March 1994

• Derek Yates: Editorial. 1-2 BibTeX
• Alan Veevers, Adam C. Marshall: A Relationship Between Software Coverage Metrics and Reliability. 3-8 BibTeX
• Aditya P. Mathur, W. Eric Wong: An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria. 9-31 BibTeX
• Harry M. Sneed: Validating Functional Equivalence of Re-engineered Programs via Control Path, Result, and Data Flow Comparison. 33-44 BibTeX

• Boris Beizer: Rebuttal of the Book Review by R. Whitty of `Software Testing Techniques' (2nd Edition). 45-48 BibTeX
• R. W. Whitty: Reply to the Rebuttal of the Review of Beizer's `Software Testing Techniques' (2nd Edition). 49 BibTeX

• Thom Gillespie: User Interface Software, by Len Bass and Prasun Dewan (Editors), Wiley, 1993 (Book Review). 51 BibTeX
• Mikey Williams: Developing User Interfaces: Ensuring Usability Through Product and Process, by Deborah Hix and H. Rex Hartson, Wiley, 1993 (Book Review). 51-53 BibTeX

Volume 4, Number 2, June 1994

• R. W. Whitty: Editorial. 61-62 BibTeX
• John Bainbridge: Defining Testability Metrics Axiomatically. 63-80 BibTeX
• Colin J. Burgess: The Automated Generation of Test Cases for Compilers. 81-99 BibTeX
• Ann Jackson, Daniel Hoffman: Inspecting Module Interface Specifications. 101-117 BibTeX

• Norman E. Fenton: Software Engineering Metrics, Volume 1: Measures and Validations, by Martin Sheppard, McGraw-Hill, 1993 (Book Review). 119 BibTeX
• Norbert Fuchs: ISO 9001 and Software Quality Assurance, by Darrel Ince, McGraw-Hill, 1994 (Book Review). 119-120 BibTeX

Volume 4, Number 3, September 1994

• Martin R. Woodward: Editorial. 129-130 BibTeX
• A. Jefferson Offutt, W. M. Craft: Using Compiler Optimization Techniques to Detect Equivalent Mutants. 131-154 BibTeX
• Kevin Lano: Transformational Program Analysis. 155-189 BibTeX

• David Mole: Z - An Introduction to Formal Methods, by Antoni Diller, Wiley, Second Edition, 1994 (Book Review). 191 BibTeX
• Bruce Elliott: Cutting Your Test Development Time with HP VEE, an Iconic Programming Language, Hewlett-Packard, 1994 (Book Review). 192 BibTeX

Volume 4, Number 4, December 1994

• Lee J. White: Editorial: Too Many Conference Choices? 199-201 BibTeX
• Alireza Azem, Fevzi Belli: Determining the Reliability of Prolog Programs. 203-222 BibTeX
• W. J. Yeh, M. Young: Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study. 223-253 BibTeX

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