On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms.
Proceedings of the 15th IEEE VLSI Test Symposium (VTS'97), 1997
OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation.
Proceedings of the Digest of Papers: FTCS-25, 1995