TY - CPAPER
AU - Jan Christiansen
AU - Sebastian Fischer
AB - We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.
BT - Functional and Logic Programming
N2 - We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.
PB - Springer Berlin Heidelberg
PY - 2008
SN - 978-3-540-78969-7
SP - 322
EP - 336
T2 - Functional and Logic Programming
TI - EasyCheck — Test Data for Free
ER -