Bian, Kun (2013-12). Efficient Path Delay Test Generation with Boolean Satisfiability. Doctoral Dissertation. Thesis