2008 |
26 | EE | Antti Jääskeläinen,
Antti Kervinen,
Mika Katara,
Antti Valmari,
Heikki Virtanen:
Synthesizing Test Models from Test Cases.
Haifa Verification Conference 2008: 179-193 |
25 | EE | Jani Metsä,
Mika Katara,
Tommi Mikkonen:
Comparing Aspects with Conventional Techniques for Increasing Testability.
ICST 2008: 387-395 |
24 | EE | 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 |
23 | EE | 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 |
2007 |
22 | | 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 |
21 | EE | Alan Hartman,
Mika Katara,
Amit M. Paradkar:
Domain specific approaches to software test automation.
ESEC/SIGSOFT FSE 2007: 621-622 |
20 | EE | Alan Hartman,
Mika Katara,
Amit M. Paradkar:
Domain specific approaches to software test automation.
ESEC/SIGSOFT FSE (Companion) 2007: 621-622 |
19 | EE | Jani Metsä,
Mika Katara,
Tommi Mikkonen:
Testing Non-Functional Requirements with Aspects: An Industrial Case Study.
QSIC 2007: 5-14 |
18 | EE | Mika Katara,
Shmuel Katz:
A concern architecture view for aspect-oriented software design.
Software and System Modeling 6(3): 247-265 (2007) |
2006 |
17 | EE | Alan Hartman,
Mika Katara,
Sergey Olvovsky:
Choosing a Test Modeling Language: A Survey.
Haifa Verification Conference 2006: 204-218 |
16 | EE | Mika Katara,
Antti Kervinen:
Making Model-Based Testing More Agile: A Use Case Driven Approach.
Haifa Verification Conference 2006: 219-234 |
15 | EE | 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 |
14 | EE | Antti Kervinen,
Mika Maunumaa,
Mika Katara:
Controlling Testing Using Three-Tier Model Architecture.
Electr. Notes Theor. Comput. Sci. 164(4): 53-66 (2006) |
13 | EE | Timo 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 |
12 | EE | Imed Hammouda,
Markku Hakala,
Mika Pussinen,
Mika Katara,
Tommi Mikkonen:
Concern-Based Development of Pattern Systems.
EWSA 2005: 113-129 |
11 | EE | Antti Kervinen,
Mika Maunumaa,
Tuula Pääkkönen,
Mika Katara:
Model-Based Testing Through a GUI.
FATES 2005: 16-31 |
10 | EE | Jani Pesonen,
Mika Katara,
Tommi Mikkonen:
Production-Testing of Embedded Systems with Aspects.
Haifa Verification Conference 2005: 90-102 |
9 | EE | Mika Katara:
Improving Testing Education - Seven Observations Why Testing is Different.
SwSTE 2005: 121-128 |
2004 |
8 | EE | Imed Hammouda,
Johannes Koskinen,
Mika Pussinen,
Mika Katara,
Tommi Mikkonen:
Adaptable Concern-Based Framework Specialization in UML.
ASE 2004: 78-87 |
2003 |
7 | EE | Mika Katara,
Shmuel Katz:
Architectural views of aspects.
AOSD 2003: 1-10 |
6 | EE | Timo Aaltonen,
Joni Helin,
Mika Katara,
Pertti Kellomäki,
Tommi Mikkonen:
Coordinating Aspects and Objects.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
2001 |
5 | EE | Mika Katara,
Tommi Mikkonen:
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems.
ICECCS 2001: 180-190 |
4 | EE | Timo Aaltonen,
Mika Katara,
Risto Pitkänen:
DisCo Toolset - The New Generation.
J. UCS 7(1): 3-18 (2001) |
2000 |
3 | EE | Mika Katara:
Hybrid Models for Mobile Computing.
COORDINATION 2000: 216-231 |
2 | | Mika Katara,
Arto Luoma:
Environment Modelling in Closed Specifications of Embedded Systems.
DIPES 2000: 141-150 |
1998 |
1 | EE | Reino Kurki-Suonio,
Mika Katara:
Real Time in a TLA-Based Theory of Reactive Systems.
ISORC 1998: 186-195 |