Modeling correction activities in the context of verification strategies