public ActionResult CreateTest01([PexAssumeUnderTest] AdditiviController target, Additivi additivi) { ActionResult result = target.Create(additivi); return(result); // TODO: aggiungere asserzioni a metodo AdditiviControllerTest.CreateTest01(AdditiviController, Additivi) }