dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Antti Kervinen Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen: Automatic GUI test generation for smartphone applications - an evaluation. ICSE Companion 2009: 112-122
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Kervinen, Jarmo Jaakkola, Antti Nieminen, Tommi Mikkonen: Towards eased debugging of Python applications on Maemo platform. Mobility Conference 2009
2008
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen: Synthesizing Test Models from Test Cases. Haifa Verification Conference 2008: 179-193
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Jääskeläinen, Antti Kervinen, Mika Katara: Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). QSIC 2008: 276-282
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenri Hansen, Antti Kervinen: Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. ACSD 2006: 133-142
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Katara, Antti Kervinen: Making Model-Based Testing More Agile: A Use Case Driven Approach. Haifa Verification Conference 2006: 219-234
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Kervinen, Mika Maunumaa, Mika Katara: Controlling Testing Using Three-Tier Model Architecture. Electr. Notes Theor. Comput. Sci. 164(4): 53-66 (2006)
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara: Model-Based Testing Through a GUI. FATES 2005: 16-31
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Kervinen, Pablo Virolainen: Heuristics for Faster Error Detection With Automated Black Box Testing. Electr. Notes Theor. Comput. Sci. 111: 53-71 (2005)
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Valmari, Antti Kervinen: Alphabet-Based Synchronisation is Exponentially Cheaper. CONCUR 2002: 161-176

Coauthor Index

1Henri Hansen [7]
2Henri Heiskanen [8]
3Jarmo Jaakkola [11]
4Antti Jääskeläinen [8] [9] [10] [12]
5Mika Katara [3] [4] [5] [6] [8] [9] [10] [12]
6Mika Maunumaa [3] [4] [5] [8] [12]
7Tommi Mikkonen [11]
8Antti Nieminen [11]
9Tuula Pääkkönen [3] [5] [8] [12]
10Mikko Satama [5]
11Tommi Takala [12]
12Antti Valmari [1] [10]
13Pablo Virolainen [2]
14Heikki Virtanen [10] [12]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page