Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker. Functional test of small-delay faults using SAT and Craig interpolation. In 2012 IEEE International Test Conference, ITC 2012, Anaheim, CA, USA, November 5-8, 2012. pages 1-8, IEEE Computer Society, 2012. [doi]
Abstract is missing.