Michael A. Kochte, Sandip Kundu, Kohei Miyase, Xiaoqing Wen, Hans-Joachim Wunderlich. Efficient BDD-based Fault Simulation in Presence of Unknown Values. In Proceedings of the 20th IEEE Asian Test Symposium, ATS 2011, New Delhi, India, November 20-23, 2011. pages 383-388, IEEE Computer Society, 2011. [doi]
Abstract is missing.