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.
Zeitschrift:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Datum der Publikation: 2013

Ausgabe: 13

Nummer: 4-5

Seiten: 721-735

Art: Konferenz-Beitrag

DOI: 10.1017/S1471068413000458 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Datenquelle: Scopus