Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Testing Java with QuickCheck
Year:2013
Research Areas
  • Information technology and adata processing
Information
Abstract
The paper describes an approach to testing Java code which uses the Quviq QuickCheck tool. As the QuickCheck tool is written in the Erlang programming language, a library written by us is used to interface Erlang and Java without the need to write boilerplate code. The resulting testing methodology has been applied to evaluate student Java exercises at the Facultad de Informática of Universidad Politécnica de Madrid.
International
No
Congress
XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional
960
Place
Madrid (España)
Reviewers
Si
ISBN/ISSN
78-84-695-8331-9
Start Date
18/09/2013
End Date
20/09/2013
From page
91
To page
105
XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional
Participants
  • Autor: Clara Benac Earle (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
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
S2i 2019 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)