[JaKaPä11] Marek Janicki, Mika Katara, and Tuula Pääkkönen. Obstacles and Opportunities in Deploying Model-Based GUI Testing of Mobile Software: A Survey. STVR. To appear.
Annotation:
Results of a survey on potential TEMA toolset users, based on Marek's M.Sc. thesis.
[JäTaKa11b] Antti Jääskeläinen, Tommi Takala, and Mika Katara. Model-Based GUI Testing of Android Applications. In Software Test Automation Experiences, eds. D. Graham, M. Fewster. Addison-Wesley
(Pearson Education). To appear.
Annotation:
Experiences on using TEMA to test Android applications.
[JäTaKa11a] Antti Jääskeläinen, Tommi Takala, and Mika Katara. Model-Based GUI Testing of Smartphone Applications: Case S60 and Linux. In Model-Based Testing for Embedded Systems, eds.
J. Zander, I. Schieferdecker, P. Mosterman, in series on Computational Analysis, Synthesis, and Design of Dynamic Systems. CRC Press. To appear.
Annotation:
Experiences on using TEMA with S60 and a mobile Linux variant.
[NiJäViKa11] Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara. A Comparison of Test Generation Algorithms for Testing Application Interactions. In Proc. QSIC 2011, Madrid, Spain, July 2011. To appear.
Annotation:
Interactions testing algorithms compared in the TEMA context.
[TaKaHa11] Tommi Takala, Mika Katara, and Julian Harty. Experiences of System-Level Model-Based GUI Testing of an Android Application. In Proc. ICST 2011, Berlin, Germany, March 2011. IEEE Computer Society, 2011.
Annotation:
Reports results of a case study on testing the BBC News application with TEMA.
[PaTaKa11] Tuomas Pajunen, Tommi Takala, and Mika Katara. Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework. In Proc. TESTBEDS 2011 workshop in conjunction with ICST 2011, Berlin, Germany, March 2011. IEEE Computer Society, 2011.
Annotation:
Experiences on using TEMA with Robot Framework.
[PäKa10] Tuula Pääkkonen and Mika Katara (presenters) and Marek Janicki. Obstacles and Opportunities in Introducing Automatic GUI Test Generation to Smartphone Application Testing.
Presented at iqnite Nordic 2010, Stockholm, Sweden, September, 2010.
Annotation:
Results of a survey on obstacles and opportunities of MBT, based on Marek's M.Sc. thesis.
[JäKaRuYaKe10] Antti Jääskeläinen, Mika Katara, Julia Rubin, Tali Yatzkar-Haham, and Mila Keren. Assessing
Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report. In
Proceedings of the 2nd International Workshop on Model-driven Approaches in Software Product
Line Engineering (MAPLE 2010), in Proceedings of the 14th Software Product Line Conference - Volume 2,
Jeju Island, South Korea, September, 2010, pages 171-179.
Lancaster University, 2010.
Annotation:
Can models help in making software product line development more agile-friendly?
[PaKaKaPa10] Jani Paalijärvi, Mika Katara, Mika Karaila, and Teemu Parkkinen. Agile development of safety-critical
software for machinery: a view on the change management in IEC-61508-3. In Proceedings of the 6th
International Conference on Safety of Industrial Automated Systems (SIAS 2010), Tampere, Finland, June, 2010.
Finnish Society of Automation, 2010.
Annotation:
Discussion on using agile methods in developing safety critical software.
[HeJäKa10] Henri Heiskanen, Antti Jääskeläinen, and Mika
Katara. Debug Support for Model-Based GUI Testing. In
Proceedings of the Third International Conference on Software Testing
Verification and Validation (ICST 2010), Paris, France, April
2010, pages 25-34. IEEE Computer Society, 2010.
Annotation:
Introduces methods for debugging in the context of model-based GUI testing.
[MaJäViKaAbTrLi10] Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika
Katara, Fredrik Abbors, Dragos Truscan and Johan Lilius. Model-Based
Testing using System vs. Test Models - What is the Difference? In Proceedings of the 17th IEEE International Conference and
Workshops on Engineering of Computer-Based Systems (ECBS 2010), poster
session, Oxford, UK, March 2010, pages 291 - 299. IEEE Computer Society, 2010.
Annotation:
Discusses the difference between using system vs. test models in MBT.
[KaPä09] Mika Katara (presenter) and Tuula Pääkkönen. Automatic GUI
Test Generation for Smartphone Applications. Presented at EuroSTAR
2009, Stockholm, Sweden, December 2009.
Annotation:
Analysis of the MBT case study on GUI testing in S60.
[MaMeKa09b] Shahar Maoz, Jani Metsä, and Mika Katara. Model-Based
Testing Using LSCs and S2A. In Proceedings of the 12th
International Conference Model Driven Engineering Languages and
Systems (MODELS 2009), Denver, CO, USA, October 2009 (short
paper). Number 5795 in Lecture Notes in Computer Science. Springer, 2009, pages 301-306. Springer, 2010.
Annotation:
A (very) short version of [MaMeKA09a].
[MaMeKa09a] Shahar Maoz, Jani Metsä, and Mika Katara. Model-Based Test
Specification and Execution Using Live Sequence Charts and the S2A
Compiler: An Industrial Experience. Report No. 4, Tampere University
of Technology, Department of Software Systems, August 2009.
Annotation:
Reports experiences from a case study where we used Live Sequence
Charts to specify test aspects for a smartphone application.
[TaMaKa09] Tommi Takala, Mika Maunumaa, and Mika Katara.
An Adapter Framework for Keyword-Driven Testing. In Proceedings of
the 9th International Conference on
Quality Software (QSIC 2009), Jeju, South Korea, August
2009, pages 201-210. IEEE Computer Society, 2010.
Annotation:
A tool for passing messages between keyword sources (such as an
MBT server) and targets (test tool connected to the SUT, for
instance). Available as open source in the TEMA package.
[JäKaKeMaPäTaVi09] Antti Jääskeläinen, Mika Katara, Antti Kervinen,
Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, and Heikki Virtanen. Automatic
GUI test generation for smart phone applications - an evaluation. In
Proceedings of the Software Engineering in Practice track
of the 31st International Conference on Software Engineering
(ICSE 2009), Vancouver, Canada, May 2009, pages 112-122 (companion volume). IEEE Computer Society, 2009.
Annotation:
Reports results of GUI testing of S60 applications using the TEMA tools.
[JäKeKaVaVi08] Antti Jääskeläinen, Antti Kervinen, Mika Katara,
Antti Valmari, and Heikki Virtanen. Synthesizing
Test Models from Test Cases. In Proceedings of the Haifa
Verification Conference 2008, IBM Haifa Labs, Haifa, Israel,
October 2008. Number 5394 in Lecture Notes in Computer Science, pages 179-193. Springer, 2009. PDF © Springer-Verlag
Annotation:
Describes how to create test models using test cases.
[JäKeKa08] Antti Jääskeläinen, Antti Kervinen, and Mika Katara.
Creating a Test Model Library for GUI Testing of Smartphone Applications. In Proceedings of the Eight International Conference on
Quality Software (QSIC 2008), Oxford, UK, August
2008, pages 276-282 (short paper). IEEE Computer Society, 2008.
Annotation:
Describes the creation of our test model library.
[JäKaKeHeMaPä08] Antti Jääskeläinen, Mika Katara, Antti Kervinen,
Henri Heiskanen, Mika Maunumaa, and Tuula
Pääkkönen. Model-Based
Testing Service on the Web. In Proceedings of the the 20th IFIP
Int. Conference on Testing of Communicating Systems and the
8th Int. Workshop on Formal Approaches to Testing of Software
(TESTCOM/FATES 2008), Tokyo, Japan, June 2008. Number 5047
in Lecture Notes in Computer Science, pages 38-53. Springer 2008.
Annotation:
Extended version of [KaKeMaPäJä07].
[MeKaMi08] Jani Metsä, Mika Katara, and Tommi Mikkonen. Comparing
Aspects with Conventional Techniques for Increasing Testability. In
Proceedings of the First International Conference on Software Testing
Verification and Validation (ICST 2008), Lillehammer, Norway, April
2008, pages 387-395. IEEE Computer Society, 2008.
Annotation:
The title describes the contents very well.
[PäKa07] Tuula Pääkkönen and Mika Katara. From Keywords to
Model-Based Test Automation. Presented at EuroSTAR
2007, Stockholm, Sweden, December 2007.
Annotation:
Description of keyword-driven MBT in the S60 context.
[MeKaMi07] Jani Metsä, Mika Katara, and Tommi Mikkonen. Testing
Non-functional Requirements with Aspects: An Industrial Case
Study. In Proceedings of the Seventh International Conference on
Quality Software (QSIC 2007), Portland, Oregon, USA, October
2007, pages 5-14. IEEE Computer Society, 2007.
Annotation:
While functional requirements can be tested with conventional
techniques, aspects could be beneficial in testing non-functional ones.
[HaKaPa07] Alan Hartman, Mika Katara, and Amit Paradkar. Domain
Specific Approaches to Software Test Automation, workshop summary. ESEC/FSE
2007 Companion. ACM 2007.
Annotation:
Short summary of the DoSTA workshop papers.
[HaKaPa07] Alan Hartman, Mika Katara, and Amit Paradkar
(Eds.). Proceedings of the workshop on Domain-Specific Approaches to
Software Test Automation (DoSTA 2007), co-located with ESEC/FSE
2007, Dubrovnik, Croatia, September 2007. ACM 2007.
Annotation:
The full proceedings of the DoSTA workshop.
[KaKeMaPäJä07] Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula
Pääkkönen, and Antti Jääskeläinen.
Can I Have Some Model-Based GUI
Tests Please? Providing a Model-Based Testing Service through
a Web Interface.
In Proceedings of the second annual Conference of the Association for
Software Testing (CAST 2007), Bellevue, WA, USA, July 2007.
Annotation:
Our "MBT as a service" concept was first described here.
[KaKa07] Mika Katara and Shmuel Katz. A Concern Architecture View
for Aspect-Oriented Software Design. Software and Systems
Modeling 6(3):247-265.
Annotation:
Extended version of [KaKa03].
[HaKaOl06] Alan Hartman, Mika Katara, and Sergey Olvovsky. Choosing a Test
Modeling Language: a Survey. In Proceedings of the Haifa
Verification Conference 2006, IBM Haifa Labs, Haifa, Israel,
October 2006. Number 4383 in Lecture Notes in Computer Science, pages
204-218. Springer 2007. PDF © Springer-Verlag
Annotation:
Compares domain-specific and generic etc. approaches to test modeling.
[KaKe06] Mika Katara and Antti Kervinen. Making
Model-Based Testing More Agile: a Use Case Driven Approach. In
Proceedings of the Haifa Verification Conference 2006, IBM
Haifa Labs, Haifa, Israel, October 2006. Number 4383 in Lecture Notes
in Computer Science, pages 219-234. Springer 2007. PDF © Springer-Verlag
Annotation:
About using use-cases to drive test generation.
[AaKaKuMi06] Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, and
Tommi Mikkonen. On Horizontal Specification Architectures and their Aspect-Oriented Implementations. Transactions on AOSD II, Lecture Notes in Computer Science 4242. Springer. To appear.
Annotation:
Summarizes our experiences in aspect-oriented structuring of
formal specifications and discusses their implementations. Supersedes [AaHeKaKeMi03].
[KaKeMaPäSa06] Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula
Pääkkönen, and Mikko Satama. Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach. In Proceedings of TAIC PART - Testing: Academic & Industrial Conference, Windsor, UK, August 2006, pages 81-89. IEEE Computer Society.
Annotation:
Argues for a domain-specific modeling approach to ease the deployment of MBT.
[KeMaKa06] Antti Kervinen, Mika Maunumaa, and Mika
Katara. Controlling Testing using Three-Tier Model Architecture. In
Proceedings of the Second Workshop on Model Based Testing (MBT
2006), satellite workshop of ETAPS 2006, Vienna, Austria,
March 2006,
Electronic Notes in Theoretical
Computer Science, 164(4):53-66, October 2006.
Annotation:
Extending the ideas of [KeMaPäKa05], indroduces the three-tier test model architecture.
[PeKaMi06] Jani Pesonen, Mika Katara, and Tommi Mikkonen.
Production-Testing of Embedded Systems with Aspects. In
Proceedings of the Haifa Verification Conference 2005, IBM
Haifa Labs, Haifa, Israel, November 2005. Number 3875 in Lecture Notes
in Computer Science, pages 90-102. Springer 2006.
Annotation:
Could aspects be used beneficially in production testing of cell
phones? Extended conference version of [PeKaMi05].
[KeMaPäKa05] Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, and Mika
Katara. Model-Based Testing Through a GUI. In Proceedings of the
5th International Workshop on Formal Approaches to Testing of Software
(FATES 2005), Edinburgh, Scotland, UK, July 2005. Number 3997 in
Lecture Notes in Computer Science, pages 16-31. Springer 2006. PDF
© Springer-Verlag
Annotation:
Describes an approach for model-based system testing of Symbian terminals
through a GUI.
[HaHaPuKaMi05] Imed Hammouda, Markku Hakala, Mika Pussinen, Mika
Katara, and Tommi Mikkonen.
Concern-Based Development of Pattern Systems.
In Proceedings of the 2nd European Workshop on Software
Architecture, Pisa, Italy, June 2005. Number 3527 in Lecture Notes in Computer Science, pages 113-129. Springer, 2005.
Annotation:
Another application of concern architecture views, includes a
pattern composion algorithm.
[Ka05b] Mika Katara. Testauksen työvälineet nyt ja tulevaisuudessa
- akateeminen näkemys.
Systeemityö 1/2005, pages 15-17 (in Finnish).
Annotation:
Automatisoituuko testaus tulevaisuudessa -teemanumeroon kutsuttu artikkeli.
[PeKaMi05] Jani Pesonen, Mika Katara, and Tommi Mikkonen. Evaluating
an Aspect-Oriented Approach for Production-Testing Software. In
Proceedings of the Fourth AOSD Workshop on Aspects, Components, and
Patterns for Infrastructure Software (ACP4IS 2005) in conjunction with
AOSD'05, Chigago, USA, March 2005, pages 36-40. College of Computer and
Information Science, Northeastern University, Boston, Massachusetts,
USA, 2005.
Annotation:
Superseded by [PeKaMi06].
[Ka05a] Mika Katara. Improving
Testing Education - Seven Observations Why Testing is Different. In Proceedings of of the IEEE
International Conference on Software - Science, Technology and
Engineering, Herzlia, Israel, February 2005, pages 121-128. IEEE Computer Society.
Annotation:
My personal experiences in developing testing education at TUT.
[HaKoPuKaMi04] Imed Hammouda, Johannes Koskinen, Mika Pussinen,
Mika Katara, and Tommi Mikkonen.
Adaptable
Concern-based Framework Specialization in UML. In Proceedings of the 19th IEEE International
Conference on Automated Software Engineering, Linz, Austria, September 2004, pages 78-87. IEEE Computer Society.
Annotation:
Describes the MADE toolset and the ideas behind it.
[MaKa04] Mika Maunumaa and Mika Katara. Modeling Concern-Based
Testing with UML Testing Profile. In Proceedings of the 2nd Nordic
Workshop on UML, Modeling, Methods and Tools (NWUML'2004), Turku, Finland, August 2004. TUCS General Publications number 35, pages 45-58.
Annotation:
Concern architectures are used for visualizing testing models
developed using the forthcoming OMG testing profile.
[HaKaKo04] Imed Hammouda, Mika Katara, and Kai Koskimies. A Tool
Environment for Aspectual Patterns in UML. In Proceedings of the
Workshop on Directions in Software Engineering Environments (WoDiSEE
2004) at ICSE 2004, Edinburgh, Scotland, UK, May 2004, pages 58-65. IEE.
Annotation:
Presents our position on the relationships between patterns and
aspects in the context of the MADE toolset.
[KaKuMi04] Mika Katara, Reino Kurki-Suonio, and Tommi Mikkonen. On
the Horizontal Dimension of Software Architecture in Formal
Specifications of Reactive Systems. In FOAL 2004 Proceedings,
Foundations of Aspect-Oriented Languages Workshop at AOSD 2004,
Lancaster, UK, March 2004. Department of Computer
Science, Iowa State University (Technical Report TR 04-04, pages 37-43).
Annotation:
Illustrates the concept of two dimensional specification
architectures in the DisCo setting.
[HaPuKaMi03] Imed Hammouda, Mika Pussinen, Mika Katara, and Tommi
Mikkonen.
UML-based Approach for Documenting and Specializing Frameworks Using
Patterns and Concern Architectures. Position paper in the 4th AOSD
Modeling with UML Workshop in conjunction with UML 2003, San
Francisco, CA, USA, October 2003.
Annotation:
Combines ideas from frameworks, patterns and concern architectures.
[KaKa03] Mika Katara and Shmuel Katz. Architectural Views of
Aspects. In Proceedings of the 2nd International Conference on
Aspect-Oriented Software Development, Boston, MA, USA, March
2003, pages 1-10. ACM.
Annotation: Original "Concern Architectures" paper.
Describes a general model of aspect-oriented
software development based on superposition and its instantiation for
UML. The approach is illustrated with a large example.
[AaHeKaKeMi03] Timo Aaltonen, Joni Helin, Mika Katara, Pertti
Kellomäki, and Tommi Mikkonen.
Coordinating
Aspects and Objects. In Proceedings of the 1st International
Workshop on Foundations of Coordination Languages and Software
Architectures, Brno, Czech Republic, August 2002,
Electronic Notes in Theoretical
Computer Science, 68(3):248-267, March 2003.
Annotation: Co-design of aspects and objects using
DisCo. Superseded by [AaKaKuMi06].
[KaMi02] Mika Katara and Tommi Mikkonen. Refinements
and Aspects in UML. Position paper in the Aspect-Oriented Modeling
with UML Workshop in conjunction with UML 2002, Dresden, Germany,
September 2002.
Annotation: Illustrates how aspects and the refinement
concept fit together in UML.
[KaKa02] Mika Katara and Shmuel Katz. Towards Aspect
Architectures and Remodularization. The Israeli Workshop on
Programming Languages & Development Environments, IBM Haifa Labs,
Haifa, Israel, July 2002.
Annotation: Describes a general, language independent
model of aspect-oriented software development based on
superposition. Superseded by [KaKa03].
[Ka02] Mika Katara. Superposing
UML class diagrams. Position paper in the Aspect-Oriented Modeling
with UML Workshop in conjunction with the the 1st International
Conference on Aspect-Oriented
Software Development, Enschede, The Netherlands, April 2002.
Annotation: Describes how to use superposition with UML
class diagrams. Superseded by [KaKa03].
[Ka01] Mika Katara. Aspects of Continuous Behaviour - Design of
Real-Time Reactive Systems in DisCo. Doctoral dissertation,
number 346 in publications, Tampere University of Technology,
2001.
Annotation: Includes [KSKa99], [KaMi01], [KaLu01],
[Ka00], [AaKaPi01], and [AaKaPi00]. If you want a full paper copy,
please send me an email.
[KaMi01] Mika Katara and Tommi Mikkonen. Aspect-Oriented Specification
Architectures for Distributed Real-Time Systems. In Sten F. Andler,
Michael G. Hinchey, and Jeff Offutt, editors, Proceedings of the
Seventh IEEE International Conference on Engineering of Complex
Computer Systems, ICECCS 2001, Skövde,
Sweden, June 2001, pages 180-190. IEEE Computer Society.
Annotation:
Specifications of distributed real-time systems in the light
of aspect-orientation.
[KaLu01] Mika Katara and Arto Luoma. Environment Modelling in
Closed Specifications of Embedded Systems. In Bernd Kleinjohann,
editor, Architecture and Design of Distributed Embedded Systems,
proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on
Distributed and Parallel Embedded Systems (DIPES 2000), pages
141-150. Kluwer Academic Publishers, 2001.
Annotation:
Discusses modelling of stochastic and hybrid embedded systems in
DisCo.
[AaKaPi01] Timo Aaltonen, Mika Katara, and Risto Pitkänen. DisCo
Toolset - The New Generation. Journal of Universal Computer
Science, 7(1):3-18, 2001.
Annotation: Describes the
new DisCo tools.
[Ka00] Mika Katara. Hybrid Models for
Mobile Computing. In António Porto and Gruia-Catalin Roman,
editors, Coordination Languages and Models, 4th International
Conference, COORDINATION 2000, Limassol, Cyprus, September 2000,
Proceedings,
number 1906 in Lecture Notes in Computer
Science, pages 216-231. Springer-Verlag, 2000. ©
Springer-Verlag
Annotation: Introduces an approach to
modelling of physical mobility where the location of a mobile agent is
considered to change continuously.
[AaKaPi00] Timo Aaltonen, Mika Katara, and Risto Pitkänen.
Verifying Real-Time Joint Action Specifications Using Timed Automata.
In Yulin Feng, David Notkin, and Marie-Claude Gaudel, editors,
16th World Computer Congress 2000, Proceedings of Conference on
Software: Theory and Practice, Beijing, China,
August 2000, pages 516-525. Publishing House of Electronics Industry and
International Federation for Information Processing. IFIP.
Annotation: Introduces a mapping from a subset of finite
instances of DisCo specifications into Timed Automata.
[KaMi99] Mika Katara and Tommi Mikkonen.
Design Approach for Real-Time Reactive Systems.
In P.-A. Hsiung and F. Wang, editors,
Proceedings of the International Workshop on Real-Time
Constraints, Alexandria, Virginia, USA, October 1999, pages 11-20. Institute of Information Science, Academia Sinica, Taipei, Taiwan, ROC.
Annotation: Describes en extension to the DisCo methodology
to support specification of real-time systems.
[Ka99] Mika Katara.
Composing DisCo Specifications Using Generic Real-Time Events - A
Mobile Robot Case Study. In Jaan Penjam, editor, Software
Technology, Proceedings of the Fenno-Ugric Symposium FUSST'99,
Sagadi, Estonia, August 1999. Institute of Cybernetics at
Tallinn Technical University (Technical Report CS 104/99, pages 75-86).
Annotation: Describes the mobile robot specification.
[KuKa99] Reino Kurki-Suonio and Mika Katara. Logical layers in
specifications with distributed objects and real time. Computer
Systems Science & Engineering, 14(4):217-226, July 1999.
Earlier version: Real Time in a TLA-Based Theory of Reactive
Systems. In Proceedings of the first IEEE International Symposium
on Object-oriented Real-time distributed Computing, Kyoto, Japan,
April 1998, pages 186-195. IEEE Computer Society.
Annotation:
The mobile robot specification serves here as an example. If you
want a copy, please send me an email.
[Ka96] Mika Katara.
Spesifikaatioiden strukturoinnista TLA+:ssa ja DisCossa (On
structuring of specifications in TLA+ and DisCo). Master's thesis,
Tampere University of Technology, September 1996.
Annotation: Some comparison between DisCo and TLA+. In
Finnish.