Title: Automatic test input generation for Mercury
Authors: Degrave, François
Schrijvers, Tom
Vanhoof, Wim
Issue Date: 2009
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:5438 pages:71-86
Conference: 18th Logic-Based Program Synthesis and Transformation location:Valencia, Spain date:17-18 July 2008
Abstract: In this work, we consider the automatic generation of test
inputs for Mercury programs. We use an abstract representation of a
program that allows to reason about program executions as paths in a
control-flow graph. Next, we define how such a path corresponds to a
set of constraints whose solution defines input values for the predicate
under test such that when the predicate is called with respect to these
input values, the execution is guaranteed to follow the given path. The
approach is similar to existing work for imperative languages, but has
been considerably adapted to deal with the specificities of Mercury, such
as symbolic data representation, predicate failure and non-determinism.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

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


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

© Web of science