TY  - JOUR

T1  - A CLP heap solver for test case generation

JO  - Theory and Practice of Logic Programming

PY  - 2013/01/01

AU  - ALBERT E

AU  - DE LA BANDA MG

AU  - GÓMEZ-ZAMALLOA M

AU  - ROJAS JM

AU  - STUCKEY P

ED  - 

DO  - DOI: 10.1017/s1471068413000458

PB  - Cambridge University Press (CUP)

VL  - 13

IS  - 4-5

SP  - 721

EP  - 735

Y2  - 2024/12/22

ER  -