External Links

    Journal: Softw. Test., Verif. Reliab.

    Volume 8, Issue 1

    1 -- 0Derek Yates. Editorial: A History Lesson?
    3 -- 14Ivor T. A. Spence. Specification for Testing - The Removal of Abstraction
    15 -- 47Fevzi Belli, Oliver Jack. Declarative Paradigm of Test Coverage
    49 -- 0Mark B. Josephs. Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review)
    runs on