Path delay fault testing for digital VLSI circuits using specialized binary decision diagrams - Χρίστου, Κυριάκος Α. ([s. n.], 2012)