[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems
Schwarzl, Christian, Peischl, BernhardYear:
2010
Language:
english
DOI:
10.1109/qsic.2010.22
File:
PDF, 667 KB
english, 2010