A Specification-Based Approach to the Testing of Java Memory Bloat. - Ju Qian; Xiaoyu Zhou; Wanchun Dang; Ziyuan Wang (QRS, 2016)