A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan. A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 68-73, IEEE, 2014. [doi]

This author has not been identified. Look up 'David Sheridan' in GoogleThis author has not been identified. Look up 'Lingyi Liu' in GoogleThis author has not been identified. Look up 'Hyungsul Kim' in GoogleThis author has not been identified. Look up 'Shobha Vasudevan' in Google

runs on WebDSL