Reductio is open source (BSD) software written using the Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. Reductio (and QuickCheck) utilises a testing technique called Automated Specification-based Testing, which has many advantages over traditional testing techniques.
Would you like to comment?
Join Diigo for a free account, or sign in if you are already a member.