External Links

    Journal: IEEE Trans. Software Eng.

    Volume 22, Issue 11

    777 -- 793Phil Stocks, David A. Carrington. A Framework for Specification-Based Testing
    794 -- 811Matthew B. Dwyer, Lori A. Clarke. A Compact Petri Net Representation and Its Implications for Analysis
    812 -- 826Peter Triantafillou. Independent Recovery in Large-Scale Distributed Systems
    827 -- 838Hanoch Levy, Ted Messinger, Robert J. T. Morris. The Cache Assignment Problem and Its Application to Database Buffer Management
    runs on