Experiences in automating the testing of SS7 signalling transfer points. - Tim Moors; Malathi Veeraraghavan; Zhifeng Tao; Xuan Zheng; Ramesh Badri (ISSTA, 2002)