Memorias de investigación
Communications at congresses:
Teaching Students Property-based Testing
Year:2014

Research Areas
  • Engineering

Information
Abstract
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.
International
Si
Congress
2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) (2014)
960
Place
Verona, Italia
Reviewers
Si
ISBN/ISSN
978-1-4799-5795-8
Start Date
27/08/2014
End Date
29/08/2014
From page
437
To page
442
Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on
Participants

Research Group, Departaments and Institutes related
  • 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