TEST GENERATION FOR GENERAL MICROPROCESSOR ARCHITECTURES.