True Path Tracing in Structurally Synthesized BDDs for Testability Analysis of Digital Circuits. - Raimund Ubar; Lembit Jürimägi; Adeniyi Olanrewaju Adekoya; Maksim Jenihhin (DSD, 2019)