Semi-automatic Test Case Expansion for Mutation Testing. - Zhong Xi Lu; Sten Vercammen; Serge Demeyer (VST@SANER, 2020)