Author:
Hwang Iksoon,Cavalli Ana R.,Lallali Mounir,Verchere Dominique
Subject
Safety, Risk, Reliability and Quality,Software
Reference23 articles.
1. Lecture Notes in Computer Science;Hwang,2009
2. Software Engineering Institute/Carnegie Mellon 2002
3. Utting M Pretschner A Legeard B http://www.cs.waikato.ac.nz/pubs/wp 2010
4. Testing with model checkers: A survey;Fraser;The Journal of Software Testing, Verification and Reliability,2009
5. Model-based testing in practice
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献