Antti Kervinen

12 papers B 1Unranked 11
YearRankTypeTitle / Venue / Authors
2009 — conf
Automatic GUI test generation for smartphone applications - an evaluation.
ICSE Companion
Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen
2009 — conf
Towards eased debugging of Python applications on Maemo platform.
Mobility Conference
Antti Kervinen, Jarmo Jaakkola, Antti Nieminen, Tommi Mikkonen
2008 — conf
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper).
QSIC
Antti Jääskeläinen, Antti Kervinen, Mika Katara
2008 — conf
Model-Based Testing Service on the Web.
TestCom/FATES
Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen
2008 — conf
Synthesizing Test Models from Test Cases.
Haifa Verification Conference
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen
2006 — conf
Controlling Testing Using Three-Tier Model Architecture.
MBT
Antti Kervinen, Mika Maunumaa, Mika Katara
2006 — conf
Making Model-Based Testing More Agile: A Use Case Driven Approach.
Haifa Verification Conference
Mika Katara, Antti Kervinen
2006 — conf
Minimal Counterexamples in O(n log n) Memory and O(n^2) Time.
ACSD
Henri Hansen, Antti Kervinen
2006 — conf
Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach.
TAIC PART
Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama
2005 — conf
Model-Based Testing Through a GUI.
FATES
Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
2004 — conf
Heuristics for Faster Error Detection With Automated Black Box Testing.
MBT
Antti Kervinen, Pablo Virolainen
2002 B conf
Alphabet-Based Synchronisation is Exponentially Cheaper.
CONCUR
Antti Valmari, Antti Kervinen