Title: Towards a framework for constraint-based test case generation
Authors: Degrave, Francois
Schrijvers, Tom
Vanhoof, Wim
Issue Date: 2010
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:6037 pages:128-142
Conference: Logic-Based Program Synthesis and Transformation edition:19 location:Coimbra, Portugal date:9-11 September 2009
Abstract: In this paper, we propose an approach for automated test
case generation based on techniques from constraint programming (CP).
We advocate the use of standard CP search strategies in order to express
preferences on the generated test cases and to obtain the desired degree
of coverage. We develop our framework in the concrete context of an
imperative language and show that the technique is sufficiently powerful
to deal with arbitrary pointer-based data-structures allocated on the
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
lopstr_full.pdfmain article Published 274KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science