Prasanth Anbalagan Automated testing of pointcuts in AspectJ programs. 758-759 2006 conf/oopsla/2006c OOPSLA Companion http://doi.acm.org/10.1145/1176617.1176711 db/conf/oopsla/oopsla2006c.html#Anbalagan06