< Back to previous page

Publication

Automatic test input generation for Mercury

Journal Contribution - Journal Article Conference Contribution

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.
Journal: Proceedings 2014 Workshop on Usable Security
ISSN: 0302-9743
Volume: 5438
Pages: 71 - 86
Publication year:2009
Accessibility:Open