Mika Katara Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
28Electronic 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahar Maoz, Jani Metsä, Mika Katara: Model-Based Testing Using LSCs and S2A. MoDELS 2009: 301-306
2008
26Electronic 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJani Metsä, Mika Katara, Tommi Mikkonen: Comparing Aspects with Conventional Techniques for Increasing Testability. ICST 2008: 387-395
24Electronic 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
23Electronic 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
2007
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Hartman, Mika Katara, Amit M. Paradkar: Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007 ACM 2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE 2007: 621-622
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) 2007: 621-622
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJani Metsä, Mika Katara, Tommi Mikkonen: Testing Non-Functional Requirements with Aspects: An Industrial Case Study. QSIC 2007: 5-14
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Katara, Shmuel Katz: A concern architecture view for aspect-oriented software design. Software and System Modeling 6(3): 247-265 (2007)
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Hartman, Mika Katara, Sergey Olvovsky: Choosing a Test Modeling Language: A Survey. Haifa Verification Conference 2006: 204-218
16Electronic 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
15Electronic 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
14Electronic 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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen: On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. T. Aspect-Oriented Software Development II: 1-29 (2006)
2005
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImed Hammouda, Markku Hakala, Mika Pussinen, Mika Katara, Tommi Mikkonen: Concern-Based Development of Pattern Systems. EWSA 2005: 113-129
11Electronic 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJani Pesonen, Mika Katara, Tommi Mikkonen: Production-Testing of Embedded Systems with Aspects. Haifa Verification Conference 2005: 90-102
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Katara: Improving Testing Education - Seven Observations Why Testing is Different. SwSTE 2005: 121-128
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen: Adaptable Concern-Based Framework Specialization in UML. ASE 2004: 78-87
2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Katara, Shmuel Katz: Architectural views of aspects. AOSD 2003: 1-10
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen: Coordinating Aspects and Objects. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Katara, Tommi Mikkonen: Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. ICECCS 2001: 180-190
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Aaltonen, Mika Katara, Risto Pitkänen: DisCo Toolset - The New Generation. J. UCS 7(1): 3-18 (2001)
2000
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Katara: Hybrid Models for Mobile Computing. COORDINATION 2000: 216-231
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMika Katara, Arto Luoma: Environment Modelling in Closed Specifications of Embedded Systems. DIPES 2000: 141-150
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReino Kurki-Suonio, Mika Katara: Real Time in a TLA-Based Theory of Reactive Systems. ISORC 1998: 186-195

Coauthor Index

1Timo Aaltonen [4] [6] [13]
2Markku Hakala [12]
3Imed Hammouda [8] [12]
4Alan Hartman [17] [20] [21] [22]
5Henri Heiskanen [23]
6Joni Helin [6]
7Antti Jääskeläinen [23] [24] [26] [28]
8Shmuel Katz [7] [18]
9Pertti Kellomäki [6]
10Antti Kervinen [11] [14] [15] [16] [23] [24] [26] [28]
11Johannes Koskinen [8]
12Reino Kurki-Suonio [1] [13]
13Arto Luoma [2]
14Shahar Maoz [27]
15Mika Maunumaa [11] [14] [15] [23] [28]
16Jani Metsä [19] [25] [27]
17Tommi Mikkonen [5] [6] [8] [10] [12] [13] [19] [25]
18Sergey Olvovsky [17]
19Tuula Pääkkönen [11] [15] [23] [28]
20Amit M. Paradkar [20] [21] [22]
21Jani Pesonen [10]
22Risto Pitkänen [4]
23Mika Pussinen [8] [12]
24Mikko Satama [15]
25Tommi Takala [28]
26Antti Valmari [26]
27Heikki Virtanen [26] [28]

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)