Test generation games from formal specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta. Test generation games from formal specifications. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 827-832, ACM, 2006. [doi]

This author has not been identified. Look up 'Ansuman Banerjee' in GoogleThis author has not been identified. Look up 'Bhaskar Pal' in GoogleThis author has not been identified. Look up 'Sayantan Das' in GoogleThis author has not been identified. Look up 'Abhijeet Kumar' in GoogleThis author has not been identified. Look up 'Pallab Dasgupta' in Google

runs on WebDSL