Antti Jääskeläinen

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 2

Top Topics

Volume Rendering

Model Construction

Interactive Visualization

Concurrent Execution

Top Venues

Publications

Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen
Concurrent execution system for action languages. MEMOCODE (2017)
Antti Jääskeläinen
Towards Model Construction Based on Test Cases and GUI Extraction. ICTSS (2016)
Antti Jääskeläinen, Hannu-Matti Järvinen, Heikki Virtanen
Action-Based Visualization. VISSOFT (2014)
Rupesh Dev, Antti Jääskeläinen, Mika Katara
Model-Based GUI Testing: Case Smartphone Camera and Messaging Development. Adv. Comput. 85 (2012)
Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara
A Comparison of Test Generation Algorithms for Testing Application Interactions. QSIC (2011)
Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV (2011)
Antti Jääskeläinen, Mika Katara, Julia Rubin, Tali Yatzkar-Haham, Mila Keren
Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report. SPLC Workshops (2010)
Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius
Model-Based Testing Using System vs. Test Models - What Is the Difference?. ECBS (2010)
Antti Jääskeläinen
Filtering Test Models to Support Incremental Testing. TAIC PART (2010)
Henri Heiskanen, Antti Jääskeläinen, Mika Katara
Debug Support for Model-Based GUI Testing. ICST (2010)
Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen
Automatic GUI test generation for smartphone applications - an evaluation. ICSE Companion (2009)
Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen
Model-Based Testing Service on the Web. TestCom/FATES (2008)
Antti Jääskeläinen, Antti Kervinen, Mika Katara
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). QSIC (2008)
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen
Synthesizing Test Models from Test Cases. Haifa Verification Conference (2008)