lua-quickcheck

QuickCheck is a way to do property based testing using randomly generated input.
Lua-QuickCheck comes with the ability to randomly generate and shrink integers,
doubles, booleans, strings, tables, custom datatypes, ...
All QuickCheck needs is a property function -- it will then randomly generate
inputs to that function and call the property for each set of inputs. If the
property fails (whether by an error or not satisfying your property),
the inputs are "shrunk" to find a smaller counter-example.