Add missing @covers to user related tests