Test set size minimization and fault detection effectiveness: a case study in a space application | IEEE Conference Publication | IEEE Xplore