*!ScalaCheck is a powerful tool for automatic unit testing of Scala and Java programs. It features automatic test case generation and minimization of failing test cases. !ScalaCheck started out as a Scala port of the Haskell library [http://www.cs.chalmers.se/~rjmh/QuickCheck/ QuickCheck], and has ...

This project will focus on creating a first example for testing the business logic of software systems implemented in Erlang and Using a Mnesia database

Making checking groups of checkboxes easy. ==`jQuery(selector).quickcheck([callback]);`== jQuery(selector) is passed as a single arguement to the callback ==example:== {{{ $(":checkbox").quickcheck(function(jq){         window.alert("checked: " + jq.filter(":checked").length); }) }}}...

The library allows the creation of tests based on real specifications. The developer provides properties of code (think: "for all X sqrt(X) > 0") and Test::Quick generates tests automagically to prove this assertions. For more informations see QuickCheck for haskell or Test::LectroTest for per...

Quest generates C code that can uncover bugs in a C compiler. The generated code passes complex arguments between functions and thus tests the translation of function calls. This part of a compiler is hard to test with real-world code because complex functions calls are rare. Not totally surprising,...