Tasty » Adam Sampson's testing bookmarks

delta.tigris.org edit / delete

"Delta assists you in minimizing "interesting" files subject to a test of their interestingness." -- i.e. it lets you bisect a file. This could be useful for reducing KRoC crasher examples...

to compiler research software testing ... on 13 February 2006

QuickCheck: An Automatic Testing Tool for Haskell edit / delete

"The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases."

to haskell research software testing ... on 06 February 2006