Generating high coverage tests for SystemC designs using symbolic execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie. Generating high coverage tests for SystemC designs using symbolic execution. In 21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016, Macao, Macao, January 25-28, 2016. pages 166-171, IEEE, 2016. [doi]

This author has not been identified. Look up 'Bin Lin' in GoogleThis author has not been identified. Look up 'Zhenkun Yang' in GoogleThis author has not been identified. Look up 'Kai Cong' in GoogleThis author has not been identified. Look up 'Fei Xie' in Google

runs on WebDSL