DTM - A Method for Testing Distributed Systems.

Dieter Haban

Browse the full SRDS paper archive.