A parallel system for test pattern generation. - Gianpiero Balboni; Gianpiero Cabodi; Silvano Gai; D. Sismondi; Matteo Sonza Reorda (SPDP, 1991)