Observatorio de I+D+i UPM

Memorias de investigación
Otras publicaciones:
Compositional Symbolic Execution through Program Specialization
Año:2013
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
BYTECODE 2013
Internacional
Si
Entidad
European Joint Conferences on Theory and Practice of Software
Lugar
Roma, Italia
Páginas
Referencia/URL
http://costa.ls.fi.upm.es/bytecode13/
Tipo de publicación
Artículo Workshop
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: José Miguel Rojas Siles (UPM)
  • Autor: Corina Pasareanu (NASA Ames/Carnegie Mellon-Sillicon Valley)
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)