GitHub repository: nanoscopia/nanoscopia-quickcheck
Description: QuickCheck properties for Testing Server and Admin