Combining dynamic slicing and mutation operators for ESL correction | IEEE Conference Publication | IEEE Xplore