Test case generation for object-oriented imperative languages in CLP
- Gómez-Zamalloa, M.
- Albert, E.
- Puebla, G.
ISSN: 1471-0684, 1475-3081
Año de publicación: 2010
Volumen: 10
Número: 4-6
Páginas: 659-674
Tipo: Aportación congreso
Revista:
Theory and Practice of Logic Programming