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

Mika Katara Home Page 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 keys2012
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenri Heiskanen, Mika Maunumaa, Mika Katara: A Test Process Improvement Model for Automated Test Generation. PROFES 2012: 17-31
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRupesh Dev, Antti Jääskeläinen, Mika Katara: Model-Based GUI Testing: Case Smartphone Camera and Messaging Development. Advances in Computers 85: 65-122 (2012)
2011
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommi Takala, Mika Katara, Julian Harty: Experiences of System-Level Model-Based GUI Testing of an Android Application. ICST 2011: 377-386
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara: A Comparison of Test Generation Algorithms for Testing Application Interactions. QSIC 2011: 131-140
2010
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius: Model-Based Testing Using System vs. Test Models - What Is the Difference?. ECBS 2010: 291-299
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenri Heiskanen, Antti Jääskeläinen, Mika Katara: Debug Support for Model-Based GUI Testing. ICST 2010: 25-34
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Jääskeläinen, Mika Katara, Julia Rubin, Tali Yatzkar-Haham, Mila Keren: Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report. SPLC Workshops 2010: 171-180
2009
29Electronic 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
28Electronic 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommi Takala, Mika Maunumaa, Mika Katara: An Adapter Framework for Keyword-Driven Testing. QSIC 2009: 201-210
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): 248-267 (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]
2Fredrik Abbors [32]
3Rupesh Dev [35]
4Markku Hakala [12]
5Imed Hammouda [8] [12]
6Alan Hartman [17] [20] [21] [22]
7Julian Harty [34]
8Henri Heiskanen [23] [31] [36]
9Joni Helin [6]
10Antti Jääskeläinen [23] [24] [26] [29] [30] [31] [32] [33] [35]
11Shmuel Katz [7] [18]
12Pertti Kellomäki [6]
13Mila Keren [30]
14Antti Kervinen [11] [14] [15] [16] [23] [24] [26] [29]
15Johannes Koskinen [8]
16Reino Kurki-Suonio [1] [13]
17Johan Lilius [32]
18Arto Luoma [2]
19Qaisar A. Malik [32]
20Shahar Maoz [28]
21Mika Maunumaa [11] [14] [15] [23] [27] [29] [36]
22Jani Metsä [19] [25] [28]
23Tommi Mikkonen [5] [6] [8] [10] [12] [13] [19] [25]
24Antti Nieminen [33]
25Sergey Olvovsky [17]
26Tuula Pääkkönen [11] [15] [23] [29]
27Amit M. Paradkar [20] [21] [22]
28Jani Pesonen [10]
29Risto Pitkänen [4]
30Mika Pussinen [8] [12]
31Julia Rubin (Julia Rubin-Mosin, Julia Mosin) [30]
32Mikko Satama [15]
33Tommi Takala [27] [29] [34]
34Dragos Truscan [32]
35Antti Valmari [26]
36Heikki Virtanen [26] [29] [32] [33]
37Tali Yatzkar-Haham [30]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 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