Luo Chun, Yang Jun, Shi Longxing, Wu XuFan, Zhang Yu. Domain Strategy and Coverage Metric for Validation. In 6th International Symposium on Quality of Electronic Design (ISQED 2005), 21-23 March 2005, San Jose, CA, USA. pages 40-45, IEEE Computer Society, 2005. [doi]