Mika Katara

According to our database, Mika Katara authored at least 41 papers between 1998 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Using aspects for testing of embedded software: experiences from two industrial case studies.

Jani Metsä, Shahar Maoz, Mika Katara, Tommi Mikkonen

Softw. Qual. J., 2014

2012

Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey.

Marek Janicki, Mika Katara, Tuula Pääkkönen

Softw. Test. Verification Reliab., 2012

Model-Based GUI Testing: Case Smartphone Camera and Messaging Development.

Rupesh Dev, Antti Jääskeläinen, Mika Katara

Adv. Comput., 2012

Safety Process Patterns: Demystifying Safety Standards.

Johannes Koskinen, Matti Vuori, Mika Katara

Proceedings of the 2012 IEEE International Conference on Software Science, 2012

A Test Process Improvement Model for Automated Test Generation.

Henri Heiskanen, Mika Maunumaa, Mika Katara

Proceedings of the Product-Focused Software Process Improvement, 2012

2011

Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools.

Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

A Comparison of Test Generation Algorithms for Testing Application Interactions.

Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara

Proceedings of the 11th International Conference on Quality Software, 2011

Experiences of System-Level Model-Based GUI Testing of an Android Application.

Tommi Takala, Mika Katara, Julian Harty

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework.

Tuomas Pajunen, Tommi Takala, Mika Katara

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model-Based GUI Testing of Smartphone Applications.

Antti Jääskeläinen, Tommi Takala, Mika Katara

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report.

Antti Jääskeläinen, Mika Katara, Julia Rubin, Tali Yatzkar-Haham, Mila Keren

Proceedings of the Software Product Lines - 14th International Conference, 2010

Debug Support for Model-Based GUI Testing.

Henri Heiskanen, Antti Jääskeläinen, Mika Katara

Proceedings of the Third International Conference on Software Testing, 2010

Model-Based Testing Using System vs. Test Models - What Is the Difference?.

Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

An Adapter Framework for Keyword-Driven Testing.

Tommi Takala, Mika Maunumaa, Mika Katara

Proceedings of the Ninth International Conference on Quality Software, 2009

Model-Based Testing Using LSCs and S2A.

Shahar Maoz, Jani Metsä, Mika Katara

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Automatic GUI test generation for smartphone applications - an evaluation.

Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper).

Antti Jääskeläinen, Antti Kervinen, Mika Katara

Proceedings of the Eighth International Conference on Quality Software, 2008

Model-Based Testing Service on the Web.

Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen

Proceedings of the Testing of Software and Communicating Systems, 2008

Comparing Aspects with Conventional Techniques for Increasing Testability.

Jani Metsä, Mika Katara, Tommi Mikkonen

Proceedings of the First International Conference on Software Testing, 2008

Synthesizing Test Models from Test Cases.

Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen

Proceedings of the Hardware and Software: Verification and Testing, 2008

2007

A concern architecture view for aspect-oriented software design.

Mika Katara, Shmuel Katz

Softw. Syst. Model., 2007

Domain specific approaches to software test automation.

Alan Hartman, Mika Katara, Amit M. Paradkar

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Testing Non-Functional Requirements with Aspects: An Industrial Case Study.

Jani Metsä, Mika Katara, Tommi Mikkonen

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

On Horizontal Specification Architectures and Their Aspect-Oriented Implementations.

Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Controlling Testing Using Three-Tier Model Architecture.

Antti Kervinen, Mika Maunumaa, Mika Katara

Proceedings of the Second Workshop on Model Based Testing, 2006

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach.

Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama

Proceedings of the Testing: Academia and Industry Conference, 2006

Making Model-Based Testing More Agile: A Use Case Driven Approach.

Mika Katara, Antti Kervinen

Proceedings of the Hardware and Software, 2006

Choosing a Test Modeling Language: A Survey.

Alan Hartman, Mika Katara, Sergey Olvovsky

Proceedings of the Hardware and Software, 2006

2005

Improving Testing Education - Seven Observations Why Testing is Different.

Mika Katara

Proceedings of the 2005 IEEE International Conference on Software, 2005

Production-Testing of Embedded Systems with Aspects.

Jani Pesonen, Mika Katara, Tommi Mikkonen

Proceedings of the Hardware and Software Verification and Testing, 2005

Model-Based Testing Through a GUI.

Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Concern-Based Development of Pattern Systems.

Imed Hammouda, Markku Hakala, Mika Pussinen, Mika Katara, Tommi Mikkonen

Proceedings of the Software Architecture, 2nd European Workshop, 2005

2004

Adaptable Concern-Based Framework Specialization in UML.

Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Architectural views of aspects.

Mika Katara, Shmuel Katz

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2002

Coordinating Aspects and Objects.

Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

2001

Aspects of Continuous Behaviour - Design of Real-Time Reactive Systems in DisCo.

Mika Katara

PhD thesis, 2001

DisCo Toolset - The New Generation.

Timo Aaltonen, Mika Katara, Risto Pitkänen

J. Univers. Comput. Sci., 2001

Aspect-Oriented Specification Architectures for Distributed Real-Time Systems.

Mika Katara, Tommi Mikkonen

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000

Environment Modelling in Closed Specifications of Embedded Systems.

Mika Katara, Arto Luoma

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Hybrid Models for Mobile Computing.

Mika Katara

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1998

Real Time in a TLA-Based Theory of Reactive Systems.

Reino Kurki-Suonio, Mika Katara

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998