Generating optimal distinguishing sequences with a model checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz. Generating optimal distinguishing sequences with a model checker. In Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA. ACM, 2005. [doi]

This author has not been identified. Look up 'Christopher Robinson-Mallett' in GoogleThis author has not been identified. Look up 'Peter Liggesmeyer' in GoogleThis author has not been identified. Look up 'Tilo Mücke' in GoogleThis author has not been identified. Look up 'Ursula Goltz' in Google

runs on WebDSL