Automatic generation of microprocessor test programs. - Catherine Bellon; A. Liothin; Sylvain Sadier; Gabriele Saucier; Raoul Velazco; Francois Grillot; M. Issenman (DAC, 1982)