Randomized specification-based testing for Common Lisp. Available through Quicklisp. - View it on GitHub