Observatorio de I+D+i UPM

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)
S2i 2022 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)