Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 8.

Gómez-Zamalloa Gil, Miguel and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Correas Fernández, Jesús and Genaim, Samir and Puebla Sánchez, Germán and Román Díez, Guillermo and Peces, Raquel and Giraldo, Carlos Gabriel and Antolín, Clara (2015) Desarrollo de una herramienta de depuración simbólica para las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticos. [Proyecto de Innovación Docente]

Gómez-Zamalloa Gil, Miguel and Albert Albiol, Elvira and Arenas Sánchez, Purificación and Correas Fernández, Jesús and Genaim, Samir and Román Díez, Guillermo (2016) Aplicación del sistema jPET para la generación automática de tests en asignaturas de programación con Java. [Proyecto de Innovación Docente]

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán (2015) A practical comparator of cost functions and its applications. Science of Computer Programming, 111 (P3). pp. 483-504. ISSN 0167-6423

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán and Román Díez, Guillermo (2014) Conditional Termination of Loops over Heap-Allocated Data. Science of computer programming, 92 (Part A). pp. 2-24. ISSN 0167-6423

Correas Fernández, Jesús and Román Díez, Guillermo and Albert Albiol, Elvira María and Arenas Sánchez, Purificación and Genaim, Samir and Gómez-Zamalloa Gil, Miguel (2017) Diseño de una metodología para la implantación de herramientas automáticas de corrección de estilo y buenas prácticas en asignaturas de programación. [Proyecto de Innovación Docente]

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Flores Montoya, A. and Genaim, Samir and Gómez-Zamalloa Gil, Miguel and Martín Martín, Enrique and Puebla, G. and Román Díez, Guillermo (2014) SACO: Static analyzer for concurrent objects. In 20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, April 5-13, 2014, Grenoble, France.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Gómez Zamalloa, Miguel and Rojas, José Miguel (2014) Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency. In 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, June 16-20, 2014, Bertinoro, Italy.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Gómez Zamalloa, Miguel (2015) Test Case Generation of Actor Systems. In 13th International Symposium, ATVA 2015, October 12-15, 2015, Shanghai, China.

This list was generated on Tue Nov 19 02:11:05 2019 CET.