Synchronized Generation of Directed Tests Using Satisfiability Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Xiaoke Qin' in GoogleThis author has not been identified. Look up 'Mingsong Chen' in GoogleThis author has not been identified. Look up 'Prabhat Mishra' in Google

runs on WebDSL