Paolo Bernardi, Ernesto Sánchez, Massimiliano Schillaci, Giovanni Squillero, Matteo Sonza Reorda. An Effective Technique for the Automatic Generation of Diagnosis-Oriented Programs for Processor Cores. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(3):570-574, 2008. [doi]
Abstract is missing.