Automatic generation of microprocessor test programs.

Catherine Bellon, A. Liothin, Sylvain Sadier, Gabriele Saucier, Raoul Velazco, Francois Grillot, M. Issenman

Browse the full DAC paper archive.