Author:
Berrada Ismaïl,Castanet Richard,Félix Patrick
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), 103–120 (1996)
2. Lecture Notes in Computer Science;L. Brandßn,2005
3. Seol, S., Kim, M., Kang, S., Ryu, J.: Fully automated interoperability test suite derivation for communication protocols. Computer Networks 43, 735–759 (2003)
4. Cardell-Oliver, R.: Conformance Testing of Real-Time Systems with Timed Automata Specifications. Formal Aspects of Computing 12(5), 350–371 (2000)
5. Clarke, D., Lee, I.: Automatic Test Generation for the Analysis of a Real-Time System: Case Study. In: 3rd IEEE RTSS (1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献