A data path approach for testing microprocessors with a fault bound: the MC68000 case | Publicación