Mahesh Prabhu, Jacob A. Abraham. Application of under-approximation techniques to functional test generation targeting hard to detect stuck-at faults. In 2013 IEEE International Test Conference, ITC 2013, Anaheim, CA, USA, September 6-13, 2013. pages 1-7, IEEE Computer Society, 2013. [doi]
Abstract is missing.