default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMika Katara
Person information
- affiliation: Tampere University of Technology, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2001
[b1]Mika Katara:
Aspects of Continuous Behaviour - Design of Real-Time Reactive Systems in DisCo. University of Tampere, Finland, 2001
Journal Articles
- 2014
- [j6]Jani Metsä, Shahar Maoz
, Mika Katara, Tommi Mikkonen:
Using aspects for testing of embedded software: experiences from two industrial case studies. Softw. Qual. J. 22(2): 185-213 (2014) - 2012
- [j5]Rupesh Dev, Antti Jääskeläinen, Mika Katara:
Model-Based GUI Testing: Case Smartphone Camera and Messaging Development. Adv. Comput. 85: 65-122 (2012) - [j4]Marek Janicki, Mika Katara, Tuula Pääkkönen:
Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey. Softw. Test. Verification Reliab. 22(5): 313-341 (2012) - 2007
- [j3]Mika Katara, Shmuel Katz:
A concern architecture view for aspect-oriented software design. Softw. Syst. Model. 6(3): 247-265 (2007) - 2006
- [j2]Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen:
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. LNCS Trans. Aspect Oriented Softw. Dev. 2: 1-29 (2006) - 2001
- [j1]Timo Aaltonen, Mika Katara, Risto Pitkänen:
DisCo Toolset - The New Generation. J. Univers. Comput. Sci. 7(1): 3-18 (2001)
Conference and Workshop Papers
- 2012
- [c33]Henri Heiskanen, Mika Maunumaa, Mika Katara:
A Test Process Improvement Model for Automated Test Generation. PROFES 2012: 17-31 - [c32]Johannes Koskinen, Matti Vuori, Mika Katara:
Safety Process Patterns: Demystifying Safety Standards. SwSTE 2012: 63-71 - 2011
- [c31]Tuomas Pajunen, Tommi Takala, Mika Katara:
Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework. ICST Workshops 2011: 242-251 - [c30]Tommi Takala, Mika Katara, Julian Harty:
Experiences of System-Level Model-Based GUI Testing of an Android Application. ICST 2011: 377-386 - [c29]Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara:
A Comparison of Test Generation Algorithms for Testing Application Interactions. QSIC 2011: 131-140 - [c28]Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen:
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV 2011: 44-56 - 2010
- [c27]Qaisar 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 - [c26]Henri Heiskanen, Antti Jääskeläinen, Mika Katara:
Debug Support for Model-Based GUI Testing. ICST 2010: 25-34 - [c25]Antti 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
- [c24]Antti 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 - [c23]Shahar Maoz, Jani Metsä, Mika Katara:
Model-Based Testing Using LSCs and S2A. MoDELS 2009: 301-306 - [c22]Tommi Takala, Mika Maunumaa, Mika Katara:
An Adapter Framework for Keyword-Driven Testing. QSIC 2009: 201-210 - 2008
- [c21]Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen:
Synthesizing Test Models from Test Cases. Haifa Verification Conference 2008: 179-193 - [c20]Jani Metsä, Mika Katara, Tommi Mikkonen:
Comparing Aspects with Conventional Techniques for Increasing Testability. ICST 2008: 387-395 - [c19]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 - [c18]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 - 2007
- [c17]Jani Metsä, Mika Katara, Tommi Mikkonen:
Testing Non-Functional Requirements with Aspects: An Industrial Case Study. QSIC 2007: 5-14 - [c16]Alan Hartman, Mika Katara, Amit M. Paradkar:
Domain specific approaches to software test automation. ESEC/SIGSOFT FSE 2007: 621-622 - 2006
- [c15]Alan Hartman, Mika Katara, Sergey Olvovsky:
Choosing a Test Modeling Language: A Survey. Haifa Verification Conference 2006: 204-218 - [c14]Mika Katara, Antti Kervinen:
Making Model-Based Testing More Agile: A Use Case Driven Approach. Haifa Verification Conference 2006: 219-234 - [c13]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 - [c12]Antti Kervinen, Mika Maunumaa, Mika Katara:
Controlling Testing Using Three-Tier Model Architecture. MBT 2006: 53-66 - 2005
- [c11]Imed Hammouda, Markku Hakala, Mika Pussinen, Mika Katara, Tommi Mikkonen:
Concern-Based Development of Pattern Systems. EWSA 2005: 113-129 - [c10]Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara:
Model-Based Testing Through a GUI. FATES 2005: 16-31 - [c9]Jani Pesonen, Mika Katara, Tommi Mikkonen:
Production-Testing of Embedded Systems with Aspects. Haifa Verification Conference 2005: 90-102 - [c8]Mika Katara:
Improving Testing Education - Seven Observations Why Testing is Different. SwSTE 2005: 121-128 - 2004
- [c7]Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen:
Adaptable Concern-Based Framework Specialization in UML. ASE 2004: 78-87 - 2003
- [c6]Mika Katara, Shmuel Katz:
Architectural views of aspects. AOSD 2003: 1-10 - 2002
- [c5]Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen:
Coordinating Aspects and Objects. FOCLASA 2002: 248-267 - 2001
- [c4]Mika Katara, Tommi Mikkonen:
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. ICECCS 2001: 180-190 - 2000
- [c3]Mika Katara:
Hybrid Models for Mobile Computing. COORDINATION 2000: 216-231 - [c2]Mika Katara, Arto Luoma:
Environment Modelling in Closed Specifications of Embedded Systems. DIPES 2000: 141-150 - 1998
- [c1]Reino Kurki-Suonio, Mika Katara:
Real Time in a TLA-Based Theory of Reactive Systems. ISORC 1998: 186-195
Parts in Books or Collections
- 2011
- [p1]Antti Jääskeläinen, Tommi Takala, Mika Katara:
Model-Based GUI Testing of Smartphone Applications. Model-Based Testing for Embedded Systems 2011
Editorship
- 2007
- [e1]Alan 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, ISBN 978-1-59593-726-1 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
