Sciweavers

Share
FLOPS
2008
Springer

EasyCheck - Test Data for Free

8 years 11 months ago
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
Jan Christiansen, Sebastian Fischer
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FLOPS
Authors Jan Christiansen, Sebastian Fischer
Comments (0)
books