RANDOM TESTING OF THE DATA PROCESSING SECTION OF A MICROPROCESSOR | Publicación