Biblio
] , “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.
, “An efficient diagnostic test pattern generation framework using boolean satisfiability”, in Asian Test Symposium, 2007. ATS'07. 16th, 2007.