Automated test data generation for aspect-oriented programs. - Mark Harman; Fayezin Islam; Tao Xie 001; Stefan Wappler (AOSD, 2009)