Xiaoke Qin, Mingsong Chen, Prabhat Mishra. Synchronized Generation of Directed Tests Using Satisfiability Solving. In VLSI Design 2010: 23rd International Conference on VLSI Design, 9th International Conference on Embedded Systems, Bangalore, India, 3-7 January 2010. pages 351-356, IEEE, 2010. [doi]
Abstract is missing.