Memorias de investigación
Artículos en revistas:
A CLP Heap Solver for Test Case Generation
Año:2013

Áreas de investigación
  • Ciencias de la computación y tecnología informática

Datos
Descripción
ICLP 2013
Internacional
Si
JCR del ISI
Si
Título de la revista
Theory And Practice of Logic Programming
ISSN
1471-0684
Factor de impacto JCR
0,667
Información de impacto
Datos JCR del año 2011
Volumen
13
DOI
http://dx.doi.org/10.1017/S1471068413000458
Número de revista
4-5
Desde la página
721
Hasta la página
735
Mes
JULIO
Ranking

Esta actividad pertenece a memorias de investigación

Participantes
  • Autor: Elvira Albert Albiol UPM
  • Autor: María García de la Banda Monash University, Australia IMDEA Software, Madrid, Spain
  • Autor: Miguel Gómez-Zamalloa Universidad Complutense de Madrid
  • Autor: José Miguel Rojas Siles UPM
  • Autor: Peter Stuckey National ICT Australia, and University of Melbourne, Australia IMDEA Software, Madrid, Spain

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: COSTA (Verification, Analysis and Transformation)