EasyCheck - Test data for free

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4989 LNCS, Issue , 2008, Pages 322-336

  Christiansen, Jan ^a   Fischer, Sebastian ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Curry; Encapsulated search; Nondeterminism; Testing

Indexed keywords

AUTOMATION; DATA STRUCTURES; FORMAL LOGIC; SPECIFICATION LANGUAGES;

AUTOMATED TOOLS; DATA GENERATION; ENCAPSULATED SEARCH; NONDETERMINISM;

SOFTWARE TESTING;

EID: 43149093580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78969-7_23     Document Type: Conference Paper

References (20)

1. Antoy. S., Hanus, M.: Overlapping rules and logic variables in functional logic programs. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 87-101. Springer, Heidelberg (2006)
2. Braßel. B., Hanns. M., Huch, F.: Encapsulating non-determinism in functional logic computations. In: EAPLS, vol. 6 (2004)
3. Peyton Jones, S.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)
4. Braßel, B., Huch, F.: Translating Curry to Haskell. In: Proc. of the ACM SIGPLAN Workshop on Curry and Functional Logic Programming, pp. 60-65. ACM Press. New York (2005)
5. Braßel, B., Huch, F.: The Kiel Curry System KiCS. In: Seipel, D., Hanus, M., eds.: Preproceedings of the 21st Workshop on (Constraint) Logic Programming. 215-223 Technical Report 434 (2007)
6. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Notices 35(9), 268-279 (2000)
7. Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. In: Peña, R., Arts, T. (eds.) IFL 2002. LNCS, vol. 2670, pp. 84-100. Springer. Heidelberg (2003)
8. Turner, D.A.: Miranda: a non-strict functional language with polymorphic types. In: Proc. of a conference on Functional programming languages and computer architecture, pp. 1-16. Springer, Heidelberg (1985)
9. Brassel, B., Fischer, S., Huch, F.: Declaring numbers (to be published, 2007)
10. Naylor, M.: A logic programming library for test-data generation (2007), http://www-users.cs.york.ac.uk/~mfn/sparsecheck/
11. Claessen, K., Hughes, J.: Quickcheck: Automatic specification-based testing (2002), http://www.cs.chalmers.se/~rjmh/ QuickCheck/
12. Runciman, C.: Smallcheck: another lightweight testing library (2006), http://www.cs.york.ac.uk/fp/darcs/smallcheck/
13. Plasmeijer, R., van Eekelen, M.: Concurrent Clean language report (version 2.0), http://www.cs.ru.nl/~clean
14. Alimarine, A., Plasmeijer, M.J.: A generic programming extension for Clean. In: The 13th International workshop on the Implementation of Functional Languages, Selected Papers. LNCS. pp. 168-185 (2002)
15. Lindblad, F.: Property directed generation of first-order test data. In: Morazan, M.T., Nilsson, H. (eds.) Draft Proceedings of the Eighth Symposium on Trends in Functional Programming (2007)
16. Naylor, M., Axelsson, E., Runciman, C.: A functional-logic library for wired. In: Proceedings of the ACM SIGPLAN workshop on Haskell (2007)
17. Fischer. S., Kuchen, H.: Systematic generation of glass-box test cases for functional logic programs. In: Proc. of the 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, ACM Press, New York (2007)
18. Hanus, M.: et al.: PAKCS: The Portland Aachen Kiel Curry System (version 1.8.1) (2007), http://www.informatik.uni-kiel.de/~pakcs/
19. Cheney, J., Momigliano, A.: Mechanized metatheory model-checking. In: PPDP 2007: Proc. of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pp. 75-86. ACM Press, New York (2007)
20. Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Dong, Y., Du, X., Roychoudhury, A., Venkatakrishnan, V.N.: XMC: A logic-programming-based verification toolset. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 576-580. Springer, Heidelberg (2000)