Testing Incomplete Specifications of Distributed Systems.

Pamela Zave

Browse the full PODC paper archive.