A CLP heap solver for test case generation
- Albert, E.
- De La Banda, M.G.
- Gómez-Zamalloa, M.
- Rojas, J.M.
- Stuckey, P.
ISSN: 1475-3081, 1471-0684
Année de publication: 2013
Volumen: 13
Número: 4-5
Pages: 721-735
Type: Communication dans un congrès
Revue:
Theory and Practice of Logic Programming
