Discovering the input assumptions in specification refinement coverage - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti. Discovering the input assumptions in specification refinement coverage. In Fumiyasu Hirose, editor, Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006. pages 13-18, IEEE, 2006. [doi]

This author has not been identified. Look up 'Prasenjit Basu' in GoogleThis author has not been identified. Look up 'Sayantan Das' in GoogleThis author has not been identified. Look up 'Pallab Dasgupta' in GoogleThis author has not been identified. Look up 'Partha Pratim Chakrabarti' in Google

runs on WebDSL