Charles H.-P. Wen, Onur Guzey, Li-C. Wang: Simulation-based functional test justification using a decision-digram-based Boolean data miner. ICCD 2006: 300-307