A Specification-Based Approach to the Testing of Java Memory Bloat | IEEE Conference Publication | IEEE Xplore