Test generation for microprocessor control mechanismsLohuaru, Tõnu; Ubar, Raimund-JohannesFTSD-10 : Deseta Mezdunarodnaja Konferencija "Nadezdnost i Diagnostika na ECM. Mikrokompjutri i Sistemi", Varna, Bulgaria, 1987 = 10th International Conference on Fault-Tolerant Systems and Diagnostics (1987)1987 / p. 305-311