Memorias de investigación
Ponencias en congresos:
Towards Compositional CLP-based Test Data Generation for Imperative Languages.
Año:2010

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

Datos
Descripción
Towards Compositional CLP-based Test Data Generation for Imperative Languages.
Internacional
Si
Nombre congreso
20th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'10)
Tipo de participación
960
Lugar del congreso
Revisores
Si
ISBN o ISSN
978-3-642-20550-7
DOI
Fecha inicio congreso
23/07/2010
Fecha fin congreso
25/07/2010
Desde la página
47
Hasta la página
57
Título de las actas
Towards Compositional CLP-based Test Data Generation for Imperative Languages

Esta actividad pertenece a memorias de investigación

Participantes

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)