Title: System Test and Diagnosis, Author: William R. Simpson
Title: Principles of Testing Electronic Systems, Author: Samiha Mourad
Title: On-Line Testing for VLSI, Author: Michael Nicolaidis
Title: Formal Verification: An Essential Toolkit for Modern VLSI Design, Author: Erik Seligman MS
Title: Formal Verification of Circuits, Author: Rolf Drechsler
Title: Economics of Electronic Design, Manufacture and Test, Author: M. Abadir
Title: Analog Test Signal Generation Using Periodic ??-Encoded Data Streams, Author: Benoit Dufort
Title: Advances in Electronic Testing: Challenges and Methodologies, Author: Dimitris Gizopoulos
Title: Advanced Formal Verification, Author: Rolf Drechsler