Weifeng Xu Dianxiang Xu State-based testing of integration aspects. 7-14 2006 WTAOP http://doi.acm.org/10.1145/1146374.1146376 conf/issta/2006w db/conf/issta/wtaop2006.html#XuX06