public void SetUsernameTest([PexAssumeUnderTest] BusinessPlayer target, string username) { target.SetUsername(username); // TODO: add assertions to method BusinessPlayerTest.SetUsernameTest(BusinessPlayer, String) }