Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (265kB) | Preview |
Towards Compositional CLP-based Test Data Generation for Imperative Languages.
Citation
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: |
|
| 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 |
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: | 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 |
