Application of under-approximation techniques to functional test generation targeting hard to detect stuck-at faults.

Mahesh Prabhu, Jacob A. Abraham

Browse the full ITC paper archive.