EasyCheck — Test Data for Free. 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.

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Dylus, Sandra; Christiansen, Jan; Teegen, Finn: Implementing a library for probabilistic programming using non-strict non-determinism (2020)
  2. Teegen, Finn: Research summary on implementing functional patterns by synthesizing inverse functions (2020)
  3. Sandra Dylus, Jan Christiansen, Finn Teegen: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism (2019) arXiv
  4. Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao: Beginner’s Luck: a language for property-based generators (2017)
  5. Claessen, Koen; Duregård, Jonas; Pałka, Michał H.: Generating constrained random data with uniform distribution (2015)
  6. Amaral, Cláudio; Florido, Mário; Santos Costa, Vítor: Prologcheck -- property-based testing in prolog (2014) ioport
  7. Bacci, Giovanni; Comini, Marco; Feliú, Marco A.; Villanueva, Alicia: The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (2012)
  8. Bulwahn, Lukas: The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof (2012)
  9. Koopman, Pieter; Achten, Peter; Plasmeijer, Rinus: Model based testing with logical properties versus state machines (2012)
  10. Achten, Peter; van Eekelen, Marko; Koopman, Pieter; Morazán, Marco T.: Trends in trends in functional programming 1999/2000 versus 2007/2008 (2010)
  11. Antoy, Sergio: Programming with narrowing: a tutorial (2010)
  12. Fischer, Sebastian; Kiselyov, Oleg; Shan, Chung-chieh: Purely functional lazy non-deterministic programming (2009)
  13. Christiansen, Jan; Fischer, Sebastian: EasyCheck -- test data for free (2008) ioport