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