Smallcheck and lazy smallcheck: automatic exhaustive testing for small values (2008)

by Colin Runciman , Matthew Naylor , Fredrik Lindblad
Venue:In Haskell ’08: Proceedings of the first ACM SIGPLAN symposium on Haskell
Citations:23 - 0 self

Active Bibliography

2 Smart testing of functional programs in Isabelle – Lukas Bulwahn, Technische Universität München
Smart test data generators via logic programming ∗ – Lukas Bulwahn, Fakultät Für Informatik, Technische Universität München
1 The New Quickcheck for Isabelle Random, Exhaustive and Symbolic Testing Living Under One Roof – Lukas Bulwahn, Fakultät Für Informatik, Technische Universität München
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
2 Testing Noninterference, Quickly – John Hughes, Benjamin C. Pierce, Antal Spector-zabusky, Dimitrios Vytiniotis, Arthur Azevedo, Amorim Leonidas Lampropoulos
Comparing Datatype Generic Libraries In Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira - 2009
13 EasyCheck — Test Data for Free – Jan Christiansen, Sebastian Fischer - 2008
12 Purely Functional Lazy Non-deterministic Programming – Sebastian Fischer, Chung-chieh Shan
3 Constraint Reasoning in FocalTest – Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
Author manuscript, published in "ICSOFT (2010)" CONSTRAINT REASONING IN FOCALTEST – Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb - 2012
General Terms – Jasmin Christian, Blanchette Tobias, Nipkow Lars, Noschinski Dmitriy Traytel
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals – Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
3 Automatic Proof and Disproof in Isabelle/HOL – Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow - 2011
1 Declarative Scripting in Haskell – Tim Bauer, Martin Erwig
19 Systematic generation of glass-box test cases for functional logic programs – Sebastian Fischer, Herbert Kuchen - 2007
Functional Programming Olaf Chitil – unknown authors
Performance Analysis and Design Aids – Matthew Naylor, A Functional-logic, Library Wired
General Terms – Neil Mitchell, Colin Runciman
4 Programming with Narrowing ∗ – Sergio Antoy