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

Any de publicació: 2013

Volum: 13

Número: 4-5

Pàgines: 721-735

Tipus: Aportació congrés

DOI: 10.1017/S1471068413000458 GOOGLE SCHOLAR

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus