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

Año de publicación: 2013

Volumen: 13

Número: 4-5

Páginas: 721-735

Tipo: Aportación congreso

DOI: 10.1017/S1471068413000458 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus