[ACM Press the first international workshop - St. Louis, Missouri (2005.05.15-2005.05.21)] Proceedings of the first international workshop on Advances in model-based testing - A-MOST '05 - Generating optimal distinguishing sequences with a model checker
Robinson-Mallett, Christopher, Liggesmeyer, Peter, Mücke, Tilo, Goltz, UrsulaYear:
2005
Language:
english
DOI:
10.1145/1083274.1083283
File:
PDF, 493 KB
english, 2005