A software tool for microprocessor functional test. - Fausto Distante; L. Galvani; A. Maderna; M. Minotti (Microprocessing and Microprogramming, 1985)

BAT: Optimization algorithms and overall design of a behavioral automatic tester. - Fausto Distante; L. Galvani; A. Maderna; M. Minotti; Vincenzo Piuri (Microprocessing and Microprogramming, 1986)