EasyCheck - Test Data for Free

Abstract. We present a lightweight, automated tool for specificationbased 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. Key words: Testing, Nondeterminism, Encapsulated Search, Curry

• Type: Conference
• Year: 2008
• Where: FLOPS
• Authors: Jan Christiansen, Sebastian Fischer
• Keywords: Automated Reasoning, Declarative Programs, FLOPS 2008, Programming Language Curry, Specificationbased Testing