PaperA backtracing-oriented procedure for the analysis of combinational gate-level designsGabriel M. Silberman, Ilan Y. SpillingerIntegration, the VLSI Journal
PaperThe reliability of approximate testabilty measuresLeendert M. HuismanIEEE Design and Test of Computers