Added functionality for HUnit tests
Uses TestFramework to integrate HUnit & QuickCheck