( en | de | ru )

 

Disambiguation of "Antti Jaaskelainen,"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Testing Using System vs. Test Models - What Is the Difference?

, , , , , , and . Engineering of Computer-Based Systems, IEEE International Conference on the, (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

Antti Punkka

Harry Anttila

Antti Ojala

Antti Marjanen

Antti Tölli

 

Other publications of authors with the same name

Towards Model Construction Based on Test Cases and GUI Extraction.. ICTSS, volume 9976 of Lecture Notes in Computer Science, page 225-230. (2016)Synthesizing Test Models from Test Cases., , , , and . Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 179-193. Springer, (2008)Design, Implementation and Use of a Test Model Library for GUI Testing of Smartphone Applications.. University of Tampere, Finland, (2011)base-search.net (ftunivtampere:oai:trepo.tuni.fi:10024/113877).Model-Based Testing Service on the Web., , , , , and . TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, page 38-53. Springer, (2008)Action-Based Visualization., , and . VISSOFT, page 20-24. IEEE Computer Society, (2014)Filtering Test Models to Support Incremental Testing.. TAIC PART, volume 6303 of Lecture Notes in Computer Science, page 72-87. Springer, (2010)Model-Based GUI Testing of Smartphone Applications., , and . Model-Based Testing for Embedded Systems, CRC Press, (2011)Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report., , , , and . SPLC Workshops, page 171-180. Lancaster University, (2010)Model-Based GUI Testing of Smartphone Applications: Case S60 and Linux, , and . Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools., , , and . SSV, volume 24 of OASIcs, page 44-56. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)