On optimizing BIST-architecture by using OBDD-based approaches and genetic algorithms | IEEE Conference Publication | IEEE Xplore