Efficiently generating test vectors with state pruning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ying Chen, Dennis Abts, David J. Lilja. Efficiently generating test vectors with state pruning. In Ting-Ao Tang, editor, Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005. pages 1196-1199, ACM Press, 2005. [doi]

This author has not been identified. Look up 'Ying Chen' in GoogleThis author has not been identified. Look up 'Dennis Abts' in GoogleThis author has not been identified. It may be one of the following persons:

David J. Lilja

Look up 'David J. Lilja' in Google

runs on WebDSL