Test case generation for object-oriented imperative languages in CLP

  1. Gómez-Zamalloa, M.
  2. Albert, E.
  3. Puebla, G.
Aldizkaria:
Theory and Practice of Logic Programming

ISSN: 1471-0684,  1475-3081

Argitalpen urtea: 2010

Alea: 10

Zenbakia: 4-6

Orrialdeak: 659-674

Mota: Biltzar ekarpena

DOI: 10.1017/S1471068410000347 GOOGLE SCHOLAR
Datuen iturria: Scopus