Testing Incomplete Specifications of Distributed Systems

Pamela Zave. Testing Incomplete Specifications of Distributed Systems. In PODC. pages 42-48, 1982.

Abstract

Abstract is missing.