External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 4, Issue 4

    199 -- 201Lee J. White. Editorial: Too Many Conference Choices?
    203 -- 222Alireza Azem, Fevzi Belli. Determining the Reliability of Prolog Programs
    223 -- 253W. J. Yeh, M. Young. Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study
    255 -- 256R. W. Whitty. Object-Oriented Software Metrics, by Mark Lorenz and Jeff Kidd, Prentice Hall, 1994 (Book Review)

    Volume 4, Issue 3

    129 -- 130Martin R. Woodward. Editorial
    131 -- 154A. Jefferson Offutt, W. M. Craft. Using Compiler Optimization Techniques to Detect Equivalent Mutants
    155 -- 189Kevin Lano. Transformational Program Analysis
    191 -- 0David Mole. Z - An Introduction to Formal Methods, by Antoni Diller, Wiley, Second Edition, 1994 (Book Review)
    192 -- 0Bruce Elliott. Cutting Your Test Development Time with HP VEE, an Iconic Programming Language, Hewlett-Packard, 1994 (Book Review)

    Volume 4, Issue 2

    61 -- 62R. W. Whitty. Editorial
    63 -- 80John Bainbridge. Defining Testability Metrics Axiomatically
    81 -- 99Colin J. Burgess. The Automated Generation of Test Cases for Compilers
    101 -- 117Ann Jackson, Daniel Hoffman. Inspecting Module Interface Specifications
    119 -- 120Norbert Fuchs. ISO 9001 and Software Quality Assurance, by Darrel Ince, McGraw-Hill, 1994 (Book Review)
    119 -- 0Norman E. Fenton. Software Engineering Metrics, Volume 1: Measures and Validations, by Martin Sheppard, McGraw-Hill, 1993 (Book Review)

    Volume 4, Issue 1

    1 -- 2Derek Yates. Editorial
    3 -- 8Alan Veevers, Adam C. Marshall. A Relationship Between Software Coverage Metrics and Reliability
    9 -- 31Aditya P. Mathur, W. Eric Wong. An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria
    33 -- 44Harry M. Sneed. Validating Functional Equivalence of Re-engineered Programs via Control Path, Result, and Data Flow Comparison
    45 -- 48Boris Beizer. Rebuttal of the Book Review by R. Whitty of Software Testing Techniques (2nd Edition)
    49 -- 0R. W. Whitty. Reply to the Rebuttal of the Review of Beizer s Software Testing Techniques (2nd Edition)
    51 -- 0Thom Gillespie. User Interface Software, by Len Bass and Prasun Dewan (Editors), Wiley, 1993 (Book Review)
    51 -- 53Mikey Williams. Developing User Interfaces: Ensuring Usability Through Product and Process, by Deborah Hix and H. Rex Hartson, Wiley, 1993 (Book Review)
    runs on