Memory usage verification for OO programs - Chin, W.-N. (2013)
10.1007/11547662_7