Testing aspect-oriented programs with finite state machines
Xu, Dianxiang, Omar El-Ariss, Weifeng Xu, and Linzhang Wang. 2012. “Testing aspect-oriented programs with finite state machines”. Software Testing, Verification and Reliability 22 (4): 267-93.