Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (265kB) | Preview |
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.
Title: | Towards Compositional CLP-based Test Data Generation for Imperative Languages. |
---|---|
Author/s: |
|
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 |
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (265kB) | Preview |
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
Item ID: | 9133 |
---|---|
DC Identifier: | https://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 |