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)