Caixia Chi Ruibing Hao Test Generation for Interaction Detection in Feature-Rich Communication Systems. 242-257 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_17 db/conf/pts/testcom2005.html#ChiH05