Combining Dynamic Slicing and Mutation Operators for ESL Correction