IHealth: Integration Testing for the EHR