January 14, 2013February 2, 2013 Adron Distributed Coding Prefunc: Installing QuickCheck for Great Testing