Mark Harman Fayezin Islam Tao Xie Stefan Wappler Automated test data generation for aspect-oriented programs. 185-196 2009 AOSD http://doi.acm.org/10.1145/1509239.1509264 conf/aosd/2009 db/conf/aosd/aosd2009.html#HarmanIXW09