Assertion clustering for compacted test sequence generation. - Jason G. Tong; Marc Bottle; Zeljko Zilic (ISQED, 2012)