| 2008 |
|---|
| 10 | EE | Antti Jääskeläinen,
Antti Kervinen,
Mika Katara,
Antti Valmari,
Heikki Virtanen:
Synthesizing Test Models from Test Cases.
Haifa Verification Conference 2008: 179-193 |
| 9 | EE | Antti Jääskeläinen,
Antti Kervinen,
Mika Katara:
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper).
QSIC 2008: 276-282 |
| 8 | EE | 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: 38-53 |
| 2006 |
|---|
| 7 | EE | Henri Hansen,
Antti Kervinen:
Minimal Counterexamples in O(n log n) Memory and O(n^2) Time.
ACSD 2006: 133-142 |
| 6 | EE | Mika Katara,
Antti Kervinen:
Making Model-Based Testing More Agile: A Use Case Driven Approach.
Haifa Verification Conference 2006: 219-234 |
| 5 | EE | Mika Katara,
Antti Kervinen,
Mika Maunumaa,
Tuula Pääkkönen,
Mikko Satama:
Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach.
TAIC PART 2006: 81-89 |
| 4 | EE | Antti Kervinen,
Mika Maunumaa,
Mika Katara:
Controlling Testing Using Three-Tier Model Architecture.
Electr. Notes Theor. Comput. Sci. 164(4): 53-66 (2006) |
| 2005 |
|---|
| 3 | EE | Antti Kervinen,
Mika Maunumaa,
Tuula Pääkkönen,
Mika Katara:
Model-Based Testing Through a GUI.
FATES 2005: 16-31 |
| 2 | EE | Antti Kervinen,
Pablo Virolainen:
Heuristics for Faster Error Detection With Automated Black Box Testing.
Electr. Notes Theor. Comput. Sci. 111: 53-71 (2005) |
| 2002 |
|---|
| 1 | EE | Antti Valmari,
Antti Kervinen:
Alphabet-Based Synchronisation is Exponentially Cheaper.
CONCUR 2002: 161-176 |
