Added and modified some tests on User specifications.