qcheck

A library for automatic randomized testing.