model slicing and predicate abstraction to generate tests (2013)

by J Julliand, N Stouls, P-C Bue, P-A Masson, “B
Venue:Software Quality Journal