B model slicing and predicate abstraction to generate tests. - Julliand, J.; Stouls, N.; Bué, P.-C.; Masson, P.-A. (Software Quality Journal, 2013)