A CLP heap solver for test case generation
- Albert, E.
- De La Banda, M.G.
- Gómez-Zamalloa, M.
- Rojas, J.M.
- Stuckey, P.
ISSN: 1475-3081, 1471-0684
Argitalpen urtea: 2013
Alea: 13
Zenbakia: 4-5
Orrialdeak: 721-735
Mota: Biltzar ekarpena
ISSN: 1475-3081, 1471-0684
Argitalpen urtea: 2013
Alea: 13
Zenbakia: 4-5
Orrialdeak: 721-735
Mota: Biltzar ekarpena