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. Last updated on 07/19/2023