EasyCheck — Test Data for Free
- 4 April 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Declaring NumbersElectronic Notes in Theoretical Computer Science, 2008
- A functional-logic library for wiredPublished by Association for Computing Machinery (ACM) ,2007
- Overlapping Rules and Logic Variables in Functional Logic ProgramsLecture Notes in Computer Science, 2006
- Observing Functional Logic ComputationsLecture Notes in Computer Science, 2004
- Gast: Generic Automated Software TestingLecture Notes in Computer Science, 2003
- A Generic Programming Extension for CleanLecture Notes in Computer Science, 2002
- QuickCheckACM SIGPLAN Notices, 2000
- XMC: A Logic-Programming-Based Verification ToolsetLecture Notes in Computer Science, 2000