The New Quickcheck for Isabelle
- 1 January 2012
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Smart Testing of Functional Programs in IsabelleLecture Notes in Computer Science, 2012
- Automatic Proof and Disproof in Isabelle/HOLLecture Notes in Computer Science, 2011
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model FinderLecture Notes in Computer Science, 2010
- Code Generation via Higher-Order Rewrite SystemsLecture Notes in Computer Science, 2010
- EasyCheck — Test Data for FreePublished by Springer Science and Business Media LLC ,2008
- Verifying a Hotel Key Card SystemLecture Notes in Computer Science, 2006
- Combining Testing and Proving in Dependent Type TheoryLecture Notes in Computer Science, 2003
- QuickCheckACM SIGPLAN Notices, 2000
- Type classes and overloading in higher-order logicPublished by Springer Science and Business Media LLC ,1997
- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languagesLecture Notes in Computer Science, 1985