Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Teaching Students Property-based Testing
Año:2014
Áreas de investigación
  • Ingenierías
Datos
Descripción
Testing is a crucial aspect of the development of dependable embedded systems, and therefore a significant effort is put into researching and developing efficient testing techniques. However, testing is not normally taught in specific courses at many universities, but rather as a peripheral activity to programming. In this paper, we report on three separate experiences at teaching an advanced testing technique, property-based testing, and a supporting tool, QuviQ Quick Check, to both undergraduate and master students.
Internacional
Si
Nombre congreso
2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) (2014)
Tipo de participación
960
Lugar del congreso
Verona, Italia
Revisores
Si
ISBN o ISSN
978-1-4799-5795-8
DOI
Fecha inicio congreso
27/08/2014
Fecha fin congreso
29/08/2014
Desde la página
437
Hasta la página
442
Título de las actas
Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Clara Benac Earle (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)