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