public ActionResult List([PexAssumeUnderTest] PetController target) { ActionResult result = target.List(); return(result); // TODO: add assertions to method PetControllerTest.List(PetController) }