TY - JOUR T1 - Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults JO - Information and Software Technology PY - 2001/01/01 AU - Hierons RM ED - DO - DOI: 10.1016/s0950-5849(01)00169-0 PB - Elsevier BV VL - 43 IS - 9 SP - 551 EP - 560 Y2 - 2024/12/23 ER -