Funder
Royal Academy of Engineering
EPSRC
Reference36 articles.
1. Model-based avionic systems testing for the airbus family;Peleska,2018
2. Model-based testing for avionic systems proven benefits and further challenges;Peleska,2018
3. Testing from a nondeterministic finite state machine using adaptive state counting;Hierons;IEEE Trans. Comput.,2004
4. On reducing test length for FSMs with extra states;Simão;Softw. Test. Verif. Reliab.,2012
5. Testing timed automata;Springintveld;Theor. Comput. Sci.,2001
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献