with Jan Christiansen

  • to be published in FLOPS ‘08: Proceedings of the 9th International Symposium on Functional and Logic Programming © Springer
  • pdf
  • slides
  • bib

We present a lightweight, automated tool for speciļ¬cation-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.