PostScript

Future Directions

We have lots of plans for future directions:
  • Automatic derivation of generators and shrinkers for data satisfying Inductive relations
  • Vellum2 testing
  • DeepSpec Web Server
  • Testing-only variant of Software Foundations?

Recommended Reading

The material presented in this short course serves as an introduction to property based random testing using QuickChick. For the interested reader, we provide a few more references for additional reading:
(* Tue Oct 9 11:47:31 EDT 2018 *)