Antti Kervinen

According to our database, Antti Kervinen authored at least 12 papers between 2002 and 2009.

Collaborative distances:

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

2009

Towards eased debugging of Python applications on Maemo platform.

Antti Kervinen, Jarmo Jaakkola, Antti Nieminen, Tommi Mikkonen

Proceedings of the 6th International Conference on Mobile Technology, 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

2006

Controlling Testing Using Three-Tier Model Architecture.

Antti Kervinen, Mika Maunumaa, Mika Katara

Proceedings of the Second Workshop on Model Based Testing, 2006

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach.

Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama

Proceedings of the Testing: Academia and Industry Conference, 2006

Making Model-Based Testing More Agile: A Use Case Driven Approach.

Mika Katara, Antti Kervinen

Proceedings of the Hardware and Software, 2006

Minimal Counterexamples in O(n log n) Memory and O(n^2) Time.

Henri Hansen, Antti Kervinen

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Model-Based Testing Through a GUI.

Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Heuristics for Faster Error Detection With Automated Black Box Testing.

Antti Kervinen, Pablo Virolainen

Proceedings of the Workshop on Model Based Testing, 2004

2002

Alphabet-Based Synchronisation is Exponentially Cheaper.

Antti Valmari, Antti Kervinen

Proceedings of the CONCUR 2002, 2002