Towards Compositional CLP-based Test Data Generation for Imperative Languages.

Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Rojas Siles, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010). Towards Compositional CLP-based Test Data Generation for Imperative Languages.. In: "20th international conference on Logic-based program synthesis and transformation LOPSTR'10", 23/07/2010 - 25/07/2010, Hagenberg, Austria. ISBN 978-3-642-20550-7.

Description

Title: Towards Compositional CLP-based Test Data Generation for Imperative Languages.
Author/s:
  • Albert Albiol, Elvira
  • Gomez Zamalloa, Miguel
  • Rojas Siles, Jose Miguel
  • Puebla Sánchez, Alvaro Germán
Item Type: Presentation at Congress or Conference (Article)
Event Title: 20th international conference on Logic-based program synthesis and transformation LOPSTR'10
Event Dates: 23/07/2010 - 25/07/2010
Event Location: Hagenberg, Austria
Title of Book: Proceedings of 20th international conference on Logic-based program synthesis and transformation LOPSTR'10
Date: 2010
ISBN: 978-3-642-20550-7
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (265kB) | Preview

Abstract

Test data generation (TDG) is the process of automatically generating test-cases for interesting test coverage criteria. The coverage criteria measure how well the program is exercised by a test suite. Examples of coverage criteria are: statement coverage which requires that each line of the code is executed; path coverage which

More information

Item ID: 9133
DC Identifier: http://oa.upm.es/9133/
OAI Identifier: oai:oa.upm.es:9133
Deposited by: Memoria Investigacion
Deposited on: 15 Nov 2011 09:16
Last Modified: 20 Apr 2016 17:40
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM