Testing aspect-oriented programs with finite state machines

Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang. Testing aspect-oriented programs with finite state machines. Softw. Test., Verif. Reliab., 22(4):267-293, 2012. [doi]

@article{XuAXW12,
  title = {Testing aspect-oriented programs with finite state machines},
  author = {Dianxiang Xu and Omar el Ariss and Weifeng Xu and Linzhang Wang},
  year = {2012},
  doi = {10.1002/stvr.440},
  url = {http://dx.doi.org/10.1002/stvr.440},
  researchr = {https://researchr.org/publication/XuAXW12},
  cites = {0},
  citedby = {0},
  journal = {Softw. Test., Verif. Reliab.},
  volume = {22},
  number = {4},
  pages = {267-293},
}