3Yan J, Wang J, Chen H W. Automatic generation of Markov chain usage models from real-time software UML models[C]// Proceedings of 4th International Conference on Quality Software. Braunschweig, Germany: IEEE Computer Society, 2004: 22-31. 被引量:1
4Beyer M, Dulz W, Zhen F H. Automated TTCN-3 test case generation by means of UML sequence diagrams and Markov chains[C]// Proceedings of the 12th Asian Test Symposium. Xi'an, China:IEEE Computer Society, 2003: 102-106. 被引量:1
5Dulz W, Zhen F H. MaTeLo-statistical usage testing by annotated sequence diagrams, Markov chains and TTNC-3[C]// Proceedings of the 3rd International Conference on Quality Software. Dallas, USA:IEEE Computer Society, 2003:336 342. 被引量:1
6Huima A. Implementing conformiq qtronic[C]// The IFIP International Conference on Testing of Communicating Systems. Tallinn, Estonia: Springer, 2007:1- 12. 被引量:1
7ander J, Dai Z R, Schieferdecker I, et al. From U2TP models to executable tests with TTCN-3: an approach to model driven testing[C]// Proceedings of the 17th IFIP International Conference on Testing of Communicating Systems. Montreal, Que, Canada: Springer, 2005:289 30,3. 被引量:1
8Dai Z R, Grabowski J, Neukirchen H, et al. From design to test with UML: Applied to a roaming algorithm for Bluetooth devices [C]// The IFIP International Conference on Testing of Communicating Systems. Oxford: Springer, 2004. 33-49. 被引量:1