cl-quickcheck is a Common Lisp port of the QuickCheck unit testing framework.
HOMEPAGE
http://www.yellosoft.us/quickcheck