Biblio
] , “An efficient diagnostic test pattern generation framework using boolean satisfiability”, in Asian Test Symposium, 2007. ATS'07. 16th, 2007.
, “Generation of shorter sequences for high resolution error diagnosis using sequential sat”, in Proceedings of the 2006 Asia and South Pacific Design Automation Conference, 2006, pp. 25–29.