Test case generation for object-oriented imperative languages in CLP
- Gómez-Zamalloa, M.
- Albert, E.
- Puebla, G.
ISSN: 1471-0684, 1475-3081
Année de publication: 2010
Volumen: 10
Número: 4-6
Pages: 659-674
Type: Communication dans un congrès
Revue:
Theory and Practice of Logic Programming