Author:
Gentile Ugo,Marrone Stefano,Mele Gianluca,Nardone Roberto,Peron Adriano
Publisher
Springer International Publishing
Reference29 articles.
1. Common test patterns and reuse of test designs,
http://msdn.microsoft.com/en-us/library/cc514239.aspx
2. Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Journal of Software and Systems Modeling (2011)
3. Bernardi, S., et al.: Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliability Engineering & System Safety 120, 112–126 (2013)
4. Bosik, B.S., Ümit Uyar, M.: Finite state machine based formal methods in protocol conformance testing: from theory to implementation. Computer Networks and ISDN Systems 22(1), 7–33 (1991)
5. Cheng, B.H.C., Atlee, J.M.: Research directions in requirements engineering. In: Future of Software Engineering, pp. 285–303. IEEE CS (2007)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献