A formal approach to practical test selection