Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults

Robert M. Hierons. Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Information \& Software Technology, 43(9):551-560, 2001.

Abstract

Abstract is missing.