Test Case Reduction: A Framework, Benchmark, and Comparative Study. - Patrick Kreutzer; Tom Kunze; Michael Philippsen (ICSME, 2021)