Modelling dynamic memory management in constraint-based testing

Florence Charreteur, Bernard Botella, Arnaud Gotlieb. Modelling dynamic memory management in constraint-based testing. Journal of Systems and Software, 82(11):1755-1766, 2009. [doi]

Abstract

Abstract is missing.