Víctor A. Braberman Diego Garbervetsky Sergio Yovine A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption. 31-58 2006 5 Journal of Object Technology 5 http://www.jot.fm/issues/issue_2006_06/article2 db/journals/jot/jot5.html#BrabermanGY06