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

ISSN: 1475-3081,  1471-0684

Year of publication: 2013

Volume: 13

Issue: 4-5

Pages: 721-735

Type: Conference paper

DOI: 10.1017/S1471068413000458 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus