arXiv 2003-12-07 EN Logical Characterizations of Heap Abstractions Yorsh, G. · Reps, T. · Sagiv, M. · Wilhelm, R.
arXiv 2002-01-30 EN Software Validation using Power Profiles Lencevicius, Raimondas · Metz, Edu · Ran, Alexander
