A CLP heap solver for test case generation

  1. Albert, E.
  2. De La Banda, M.G.
  3. Gómez-Zamalloa, M.
  4. Rojas, J.M.
  5. Stuckey, P.
Revista:
Theory and Practice of Logic Programming

ISSN: 1475-3081 1471-0684

Ano de publicación: 2013

Volume: 13

Número: 4-5

Páxinas: 721-735

Tipo: Achega congreso

DOI: 10.1017/S1471068413000458 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable