Mika Katara

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Sequence Diagrams

Graphical User Interfaces

Process Improvement

Embedded Software

Top Venues

Softw. Test. Verification Reliab.

Softw. Qual. J.

Publications

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) (2014)
Johannes Koskinen, Matti Vuori, Mika Katara
Safety Process Patterns: Demystifying Safety Standards. SwSTE (2012)
Rupesh Dev, Antti Jääskeläinen, Mika Katara
Model-Based GUI Testing: Case Smartphone Camera and Messaging Development. Adv. Comput. 85 (2012)
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) (2012)
Henri Heiskanen, Mika Maunumaa, Mika Katara
A Test Process Improvement Model for Automated Test Generation. PROFES (2012)
Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara
A Comparison of Test Generation Algorithms for Testing Application Interactions. QSIC (2011)
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)
Tuomas Pajunen, Tommi Takala, Mika Katara
Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework. ICST Workshops (2011)
Tommi Takala, Mika Katara, Julian Harty
Experiences of System-Level Model-Based GUI Testing of an Android Application. ICST (2011)
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)
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)
Henri Heiskanen, Antti Jääskeläinen, Mika Katara
Debug Support for Model-Based GUI Testing. ICST (2010)
Shahar Maoz, Jani Metsä, Mika Katara
Model-Based Testing Using LSCs and S2A. MoDELS (2009)
Tommi Takala, Mika Maunumaa, Mika Katara
An Adapter Framework for Keyword-Driven Testing. QSIC (2009)
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)
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)
Antti Jääskeläinen, Antti Kervinen, Mika Katara
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). QSIC (2008)
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen
Synthesizing Test Models from Test Cases. Haifa Verification Conference (2008)
Jani Metsä, Mika Katara, Tommi Mikkonen
Comparing Aspects with Conventional Techniques for Increasing Testability. ICST (2008)
Jani Metsä, Mika Katara, Tommi Mikkonen
Testing Non-Functional Requirements with Aspects: An Industrial Case Study. QSIC (2007)
Amit M. Paradkar, Alan Hartman, Mika Katara
Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) (2007)
Mika Katara, Shmuel Katz
A concern architecture view for aspect-oriented software design. Softw. Syst. Model. 6 (3) (2007)
Alan Hartman, Mika Katara, Amit M. Paradkar
Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (2007)
Antti Kervinen, Mika Maunumaa, Mika Katara
Controlling Testing Using Three-Tier Model Architecture. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
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)
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 (2006)
Mika Katara, Antti Kervinen
Making Model-Based Testing More Agile: A Use Case Driven Approach. Haifa Verification Conference (2006)
Alan Hartman, Mika Katara, Sergey Olvovsky
Choosing a Test Modeling Language: A Survey. Haifa Verification Conference (2006)
Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
Model-Based Testing Through a GUI. FATES (2005)
Jani Pesonen, Mika Katara, Tommi Mikkonen
Production-Testing of Embedded Systems with Aspects. Haifa Verification Conference (2005)
Mika Katara
Improving Testing Education - Seven Observations Why Testing is Different. SwSTE (2005)
Imed Hammouda, Markku Hakala, Mika Pussinen, Mika Katara, Tommi Mikkonen
Concern-Based Development of Pattern Systems. EWSA (2005)
Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen
Adaptable Concern-Based Framework Specialization in UML. ASE (2004)
Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen
Coordinating Aspects and Objects. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
Mika Katara, Shmuel Katz
Architectural views of aspects. AOSD (2003)
Timo Aaltonen, Mika Katara, Risto Pitkänen
DisCo Toolset - The New Generation. J. Univers. Comput. Sci. 7 (1) (2001)
Mika Katara, Tommi Mikkonen
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. ICECCS (2001)
Mika Katara
Hybrid Models for Mobile Computing. COORDINATION (2000)
Mika Katara, Arto Luoma
Environment Modelling in Closed Specifications of Embedded Systems. DIPES (2000)
Reino Kurki-Suonio, Mika Katara
Real Time in a TLA-Based Theory of Reactive Systems. ISORC (1998)