Antti Jääskeläinen

According to our database, Antti Jääskeläinen authored at least 16 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Concurrent execution system for action languages.

Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

Towards Model Construction Based on Test Cases and GUI Extraction.

Antti Jääskeläinen

Proceedings of the Testing Software and Systems, 2016

2014

Action-Based Visualization.

Antti Jääskeläinen, Hannu-Matti Järvinen, Heikki Virtanen

Proceedings of the Second IEEE Working Conference on Software Visualization, 2014

2012

Model-Based GUI Testing: Case Smartphone Camera and Messaging Development.

Rupesh Dev, Antti Jääskeläinen, Mika Katara

Adv. Comput., 2012

2011

Design, Implementation and Use of a Test Model Library for GUI Testing of Smartphone Applications.

Antti Jääskeläinen

PhD thesis, 2011

Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools.

Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

A Comparison of Test Generation Algorithms for Testing Application Interactions.

Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara

Proceedings of the 11th International Conference on Quality Software, 2011

Model-Based GUI Testing of Smartphone Applications.

Antti Jääskeläinen, Tommi Takala, Mika Katara

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Filtering Test Models to Support Incremental Testing.

Antti Jääskeläinen

Proceedings of the Testing, 2010

Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report.

Antti Jääskeläinen, Mika Katara, Julia Rubin, Tali Yatzkar-Haham, Mila Keren

Proceedings of the Software Product Lines - 14th International Conference, 2010

Debug Support for Model-Based GUI Testing.

Henri Heiskanen, Antti Jääskeläinen, Mika Katara

Proceedings of the Third International Conference on Software Testing, 2010

Model-Based Testing Using System vs. Test Models - What Is the Difference?.

Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

Automatic GUI test generation for smartphone applications - an evaluation.

Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper).

Antti Jääskeläinen, Antti Kervinen, Mika Katara

Proceedings of the Eighth International Conference on Quality Software, 2008

Model-Based Testing Service on the Web.

Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen

Proceedings of the Testing of Software and Communicating Systems, 2008

Synthesizing Test Models from Test Cases.

Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen

Proceedings of the Hardware and Software: Verification and Testing, 2008