Testing Aspect-oriented Programs With State Models by Xu Weifeng