Tim Moors Malathi Veeraraghavan Zhifeng Tao Xuan Zheng Ramesh Badri Experiences in automating the testing of SS7 signalling transfer points. 154-158 2002 ISSTA http://doi.acm.org/10.1145/566172.566195 db/conf/issta/issta2002.html#MoorsVTZB02