Author:
Chen Jessica,Hierons Robert M.,Ural Hasan,Yenigun Husnu
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Prentice Hall International Editions;A.S. Tanenbaum,1996
2. Pomeranz, I., Reddy, S.M.: Test generation for multiple state–table faults in finite–state machines. IEEE Transactions on Computers 46, 783–794 (1997)
3. Hierons, R.M., Harman, M.: Testing conformance to a quasi–non–determinstic stream X–machine. Formal Aspects of Computing 12, 423–442 (2000)
4. Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, Heidelberg (1998)
5. Luo, G., Das, A., van Bochmann, G.: Generating tests for control portion of SDL specifications. In: Proceedings of Protocol Test Systems VI, pp. 51–66. Elsevier (North-Holland), Amsterdam (1994)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献