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. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Christiansen, J., & Fischer, S. (2008). EasyCheck - Test data for free. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4989 LNCS, pp. 322–336). https://doi.org/10.1007/978-3-540-78969-7_23
Mendeley helps you to discover research relevant for your work.