Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models

Marko Kääramees, Jüri Vain, Kullo Raiend. Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. In Leonardo Bottaci, Gordon Fraser, editors, Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings. Volume 6303 of Lecture Notes in Computer Science, pages 147-154, Springer, 2010. [doi]

Authors

Marko Kääramees

This author has not been identified. Look up 'Marko Kääramees' in Google

Jüri Vain

This author has not been identified. Look up 'Jüri Vain' in Google

Kullo Raiend

This author has not been identified. Look up 'Kullo Raiend' in Google