( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesizing Test Models from Test Cases.

, , , , и . Haifa Verification Conference, том 5394 из Lecture Notes in Computer Science, стр. 179-193. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kai Virtanen

Sannakaisa Virtanen

Heikki Leppänen

Heikki Solin

Heikki Lempa

 

Другие публикации лиц с тем же именем

Model-Based Testing Using System vs. Test Models - What Is the Difference?, , , , , , и . Engineering of Computer-Based Systems, IEEE International Conference on the, (2010)Context-Sensitive Visibility., , и . FMICS, том 66 из Electronic Notes in Theoretical Computer Science, стр. 194-210. Elsevier, (2002)Model-Based Testing Using System vs. Test Models - What Is the Difference?., , , , , , и . ECBS, стр. 291-299. IEEE Computer Society, (2010)Automatic GUI test generation for smartphone applications - an evaluation., , , , , , и . ICSE Companion, стр. 112-122. IEEE, (2009)Synthesizing Test Models from Test Cases., , , , и . Haifa Verification Conference, том 5394 из Lecture Notes in Computer Science, стр. 179-193. Springer, (2008)Merging State-Based and Action-Based Verification., , и . ACSD, стр. 150-156. IEEE Computer Society, (2003)Tampere Verification Tool., , , , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 153-157. Springer, (2004)Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools., , , и . SSV, том 24 из OASIcs, стр. 44-56. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)A Comparison of Test Generation Algorithms for Testing Application Interactions., , , и . QSIC, стр. 131-140. IEEE Computer Society, (2011)Action-Based Visualization., , и . VISSOFT, стр. 20-24. IEEE Computer Society, (2014)