Search the dblp DataBase

Publications of Author

1. Mika Katara, Shmuel Katz
   Architectural views of aspects. [Citation Graph (0, 0)][DBLP]
   AOSD, 2003, pp:1-10 [Conf]
   
2. Mika Katara
   Hybrid Models for Mobile Computing. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2000, pp:216-231 [Conf]
   
3. Imed Hammouda, Markku Hakala, Mika Pussinen, Mika Katara, Tommi Mikkonen
   Concern-Based Development of Pattern Systems. [Citation Graph (0, 0)][DBLP]
   EWSA, 2005, pp:113-129 [Conf]
   
4. Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
   Model-Based Testing Through a GUI. [Citation Graph (0, 0)][DBLP]
   FATES, 2005, pp:16-31 [Conf]
   
5. Jani Pesonen, Mika Katara, Tommi Mikkonen
   Production-Testing of Embedded Systems with Aspects. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2005, pp:90-102 [Conf]
   
6. Alan Hartman, Mika Katara, Sergey Olvovsky
   Choosing a Test Modeling Language: A Survey. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2006, pp:204-218 [Conf]
   
7. Mika Katara, Antti Kervinen
   Making Model-Based Testing More Agile: A Use Case Driven Approach. [Citation Graph (0, 0)][DBLP]
   Haifa Verification Conference, 2006, pp:219-234 [Conf]
   
8. Mika Katara, Tommi Mikkonen
   Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:180-190 [Conf]
   
9. Mika Katara, Arto Luoma
   Environment Modelling in Closed Specifications of Embedded Systems. [Citation Graph (0, 0)][DBLP]
   DIPES, 2000, pp:141-150 [Conf]
   
10. Reino Kurki-Suonio, Mika Katara
    Real Time in a TLA-Based Theory of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:186-195 [Conf]
    
11. Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen
    Adaptable Concern-Based Framework Specialization in UML. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:78-87 [Conf]
    
12. Mika Katara
    Improving Testing Education - Seven Observations Why Testing is Different. [Citation Graph (0, 0)][DBLP]
    SwSTE, 2005, pp:121-128 [Conf]
    
13. Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mikko Satama
    Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. [Citation Graph (0, 0)][DBLP]
    TAIC PART, 2006, pp:81-89 [Conf]
    
14. Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen
    Coordinating Aspects and Objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
    
15. Antti Kervinen, Mika Maunumaa, Mika Katara
    Controlling Testing Using Three-Tier Model Architecture. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:53-66 [Journal]
    
16. Timo Aaltonen, Mika Katara, Risto Pitkänen
    DisCo Toolset - The New Generation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:1, pp:3-18 [Journal]
    
17. Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen
    On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:1-29 [Journal]
    
18. Alan Hartman, Mika Katara, Amit Paradkar
    Domain specific approaches to software test automation. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:621-622 [Conf]
    
19. 
    Model-Based Testing Using System vs. Test Models - What Is the Difference?. [Citation Graph (, )][DBLP]
    
    
20. 
    Synthesizing Test Models from Test Cases. [Citation Graph (, )][DBLP]
    
    
21. 
    Automatic GUI test generation for smartphone applications - an evaluation. [Citation Graph (, )][DBLP]
    
    
22. 
    Model-Based Testing Using LSCs and S2A. [Citation Graph (, )][DBLP]
    
    
23. 
    Model-Based Testing Service on the Web. [Citation Graph (, )][DBLP]
    
    
24. 
    Testing Non-Functional Requirements with Aspects: An Industrial Case Study. [Citation Graph (, )][DBLP]
    
    
25. 
    Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper). [Citation Graph (, )][DBLP]
    
    
26. 
    An Adapter Framework for Keyword-Driven Testing. [Citation Graph (, )][DBLP]
    
    
27. 
    Domain specific approaches to software test automation. [Citation Graph (, )][DBLP]
    
    
28. 
    Debug Support for Model-Based GUI Testing. [Citation Graph (, )][DBLP]
    
    
29. 
    Comparing Aspects with Conventional Techniques for Increasing Testability. [Citation Graph (, )][DBLP]