Author:
Hansen H.,Virtanen H.,Valmari A.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. States in Process Calculi;Electronic Proceedings in Theoretical Computer Science;2014-08-06
2. Behavioral modeling and formal verification of a resource discovery approach in Grid computing;Expert Systems with Applications;2014-06
3. Behaviour Model Extraction from Software;2013 2nd Workshop-School on Theoretical Computer Science;2013-10
4. Automatic GUI test generation for smartphone applications - an evaluation;2009 31st International Conference on Software Engineering - Companion Volume;2009
5. Synthesizing Test Models from Test Cases;Hardware and Software: Verification and Testing;2009