Alphabet-Based Synchronisation is Exponentially Cheaper. - Antti Valmari; Antti Kervinen (CONCUR, 2002)

Heuristics for Faster Error Detection With Automated Black Box Testing. - Antti Kervinen; Pablo Virolainen (MBT, 2004)

Model-Based Testing Through a GUI. - Antti Kervinen; Mika Maunumaa; Tuula Pääkkönen; Mika Katara (FATES, 2005)

Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. - Henri Hansen; Antti Kervinen (ACSD, 2006)

Making Model-Based Testing More Agile: A Use Case Driven Approach. - Mika Katara; Antti Kervinen (Haifa Verification Conference, 2006)

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. - Mika Katara; Antti Kervinen; Mika Maunumaa; Tuula Pääkkönen; Mikko Satama (TAIC PART, 2006)

Controlling Testing Using Three-Tier Model Architecture. - Antti Kervinen; Mika Maunumaa; Mika Katara (MBT, 2006)

Synthesizing Test Models from Test Cases. - Antti Jääskeläinen; Antti Kervinen; Mika Katara; Antti Valmari; Heikki Virtanen (Haifa Verification Conference, 2008)

Model-Based Testing Service on the Web. - Antti Jääskeläinen; Mika Katara; Antti Kervinen; Henri Heiskanen; Mika Maunumaa; Tuula Pääkkönen (TestCom/FATES, 2008)

Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). - Antti Jääskeläinen; Antti Kervinen; Mika Katara (QSIC, 2008)

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 (ICSE Companion, 2009)

Towards eased debugging of Python applications on Maemo platform. - Antti Kervinen; Jarmo Jaakkola; Antti Nieminen; Tommi Mikkonen (Mobility Conference, 2009)