Tests for User class