Items where author is "Rojas Siles, Jose Miguel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Presentation at Congress or Conference

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Rojas Siles, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010). Compositional CLP-based Test Data Generation for Imperative Languages. In: "20th international conference on Logic-based program synthesis and transformation LOPSTR'10", 23/07/2010 - 25/07/2010, Hagenberg, Austria. ISBN 978-3-642-20550-7.

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Rojas Siles, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010). Towards Compositional CLP-based Test Data Generation for Imperative Languages.. In: "20th international conference on Logic-based program synthesis and transformation LOPSTR'10", 23/07/2010 - 25/07/2010, Hagenberg, Austria. ISBN 978-3-642-20550-7.

Thesis

Rojas Siles, Jose Miguel (2013). Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming. Thesis (Doctoral), Facultad de Informática (UPM).

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM