On the optimization of SBST test program compaction. - R. Cantora; Ernesto Sánchez 001; Matteo Sonza Reorda; Giovanni Squillero; Emanuele Valea (DFT, 2017)