Author:
Utting Mark,Pretschner Alexander,Legeard Bruno
Subject
Safety, Risk, Reliability and Quality,Software
Reference72 articles.
1. Testing software design modeled by finite-state machines;Chow;IEEE Transactions on Software Engineering,1978
2. Using formal specifications to support testing;Hierons;ACM Computing Surveys,2009
3. A survey on model-based testing approaches
4. Utting M Legeard B 2010 http://www.cs.waikato.ac.nz/research/mbt/Tools.pdf
5. An Introduction to TTCN-3
Cited by
391 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献