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

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