Memorias de investigación
Ponencias en congresos:
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
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
99
Hasta la página
116
Título de las actas
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)