@article{article, title = {{A CLP heap solver for test case generation}},
publisher = {{Cambridge University Press (CUP)}},
url = {{}},
year = {{2013}},
month = {{1}},
author = {{ALBERT E and DE LA BANDA MG and Gè„«MEZ-ZAMALLOA M and ROJAS JM and STUCKEY P}},
doi = {{10.1017/s1471068413000458}},
volume = {{13}},
journal = {{Theory and Practice of Logic Programming}},
issue = {{4-5}},
pages = {{721-735}},
note = {{Accessed on 2025/06/26}}}