Rabindra K. Roy, Abhijit Chatterjee, Janak H. Patel, Jacob A. Abraham, Manuel A. d Abreu. Automatic test generation for linear digital systems with bi-level search using matrix transform methods. In ICCAD. pages 224-228, 1992. [doi]
Abstract is missing.