EasyCheck: test data for free

Authors:
Jan Christiansen;Sebastian Fischer
Affiliations:
Department of Computing Science, University of Kiel, Germany;Department of Computing Science, University of Kiel, Germany
Venue:
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Year:
2008

Citing 10
Cited 17

Miranda: a non-strict functional language with polymorphic types

Proc. of a conference on Functional programming languages and computer architecture
QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
XMC: A Logic-Programming-Based Verification Toolset

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
A Generic Programming Extension for Clean

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Translating curry to haskell system demo

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Systematic generation of glass-box test cases for functional logic programs

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Mechanized metatheory model-checking

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
A functional-logic library for wired

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
GAST: generic automated software testing

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Overlapping rules and logic variables in functional logic programs

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Data-flow testing of declarative programs

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values

Proceedings of the first ACM SIGPLAN symposium on Haskell
Purely functional lazy non-deterministic programming

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Free theorems for functional logic programs

Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Programming with narrowing: A tutorial

Journal of Symbolic Computation
From functional logic programs to purely functional programs preserving laziness

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Polynomial-time inverse computation for accumulative functions with multiple data traversals

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Purely functional lazy nondeterministic programming

Journal of Functional Programming - Dedicated to ICFP 2009
Testing polymorphic properties

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Contracts and specifications for functional logic programming

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Smart testing of functional programs in isabelle

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008

Higher-Order and Symbolic Computation
Feat: functional enumeration of algebraic types

Proceedings of the 2012 Haskell Symposium
Automatic synthesis of specifications for first order curry programs

Proceedings of the 14th symposium on Principles and practice of declarative programming
Using narrowing to test maude specifications

WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Model based testing with logical properties versus state machines

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
The new quickcheck for isabelle: random, exhaustive and symbolic testing under one roof

CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.