Memory leakage testing using aspects | IEEE Conference Publication | IEEE Xplore