Publications

[1] Henri Heiskanen, Mika Maunumaa, and Mika Katara, “A test process improvement model for automated test generation,” in Proceedings of the 13th International Conference on Product-Focused Software Process Improvement (PROFES 2012), ser. Lecture Notes in Computer Science, Oscar Dieste, Andreas Jedlitschka, and Natalia Juristo Juzgado, Eds., vol. 7343. Berlin, Heidelberg: Springer, Jun. 2012, pp. 17–31. [ bib ]
[2] Antti Jääskeläinen, Tommi Takala, and Mika Katara, “Model-based GUI testing of Android applications,” in Experiences of Test Automation: Case Studies of Software Test Automation, Dorothy Graham and Mark Fewster, Eds. Upper Saddle River, NJ, USA: Addison-Wesley (Pearson Education), Jan. 2012, ch. 14, pp. 253–275. [ bib ]
[3] 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, ser. Computational Analysis, Synthesis, and Design of Dynamic Systems, Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman, Eds. Boca Raton, FL, USA: CRC Press, Sep. 2011, ch. 18, pp. 525–544. [ bib ]
[4] Antti Jääskeläinen, Mika Katara, Shmuel Katz, and Heikki Virtanen, “Verification of safety-critical systems: A case study report on using modern model checking tools,” in Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011), Jörg Braner, Marco Roveri, and Hendrik Tews, Eds. Saarbrücken, Germany: Schloss Dagstuhl, Aug. 2011, pp. 66–80. [ bib ]
[5] Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, and Mika Katara, “A comparison of test generation algorithms for testing application interactions,” in Proceedings of the 11th International Conference On Quality Software (QSIC 2011). Los Alamitos, CA, USA: IEEE Computer Society, Jul. 2011, pp. 131–140. [ bib ]
[6] Marek Janicki, Mika Katara, and Tuula Pääkkönen, “Obstacles and opportunities in deploying model-based GUI testing of mobile software: A survey,” Software Testing, Verification and Reliability (STVR), vol. 22, no. 5, pp. 313–341, May 2011. [ bib ]
[7] Tuomas Pajunen, Tommi Takala, and Mika Katara, “Model-based testing with a general purpose keyword-driven test automation framework,” in Proceedings of the 3rd International Workshop on Testing Techniques & Experimentation Benchmarks for Event-Driven Software (TESTBEDS 2011). Los Alamitos, CA, USA: IEEE Computer Society, Mar. 2011. [ bib ]
[8] Tommi Takala, Mika Katara, and Julian Harty, “Experiences of system-level model-based GUI testing of an Android application,” in Proceedings of the 4th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2011). Los Alamitos, CA, USA: IEEE Computer Society, Mar. 2011, pp. 377–386. [ bib ]
[9] Antti Jääskeläinen, “Design, implementation and use of a test model library for GUI testing of smartphone applications,” Doctoral dissertation, Tampere University of Technology, Tampere, Finland, Jan. 2011, number 948 in publications. [ bib ]
[10] 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 (SPLC 2010) – Volume 2, Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, and Steve Livengood, Eds. Lancaster, UK: Lancaster University, Sep. 2010, pp. 171–179. [ bib ]
[11] Antti Jääskeläinen, “Filtering test models to support incremental testing,” in Proceedings of the 5th Testing: Academic & Industrial Conference – Practice and Research Techniques (TAIC PART 2010), ser. Lecture Notes in Computer Science, Leonardo Bottaci and Gordon Fraser, Eds., vol. 6303. Berlin, Heidelberg: Springer, Sep. 2010, pp. 72–87. [ bib ]
[12] Tuomas Pajunen, “Model-based testing with a keyword-driven test automation framework,” Master's thesis, Tampere University of Technology, Tampere, Finland, Jun. 2010. [ bib ]
[13] Antti Jääskeläinen, “Developing effective test models,” in Digest of TISE Seminar 2010, ser. TISE Publication Series, Pertti Koivisto, Ed., no. 9, Tampere, Finland, May 2010, pp. 56–59. [ bib ]
[14] Henri Heiskanen, Antti Jääskeläinen, and Mika Katara, “Debug support for model-based GUI testing,” in Proceedings of the 3rd IEEE International Conference on Software Testing, Verification, and Validation (ICST 2010). Los Alamitos, CA, USA: IEEE Computer Society, Apr. 2010, pp. 25–34. [ bib ]
[15] 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 on Engineering of Computer-Based Systems (ECBS 2010) (poster session). Los Alamitos, CA, USA: IEEE Computer Society, Mar. 2010, pp. 291–299. [ bib ]
[16] Tommi Takala, Mika Maunumaa, and Mika Katara, “An adapter framework for keyword-driven testing,” in Proceedings of the 9th International Conference On Quality Software (QSIQ 2009). Los Alamitos, CA, USA: IEEE Computer Society, Aug. 2009, pp. 201–210. [ bib ]
[17] Marek Janicki, “Survey on automatic test generation in testing of mobile applications,” Master's thesis, Tampere University of Technology, Tampere, Finland, Aug. 2009. [ bib ]
[18] Antti Jääskeläinen, “Model-based software testing: Design and implementation of a test model library,” in Digest of TISE Seminar 2009, ser. TISE Publication Series, Pertti Koivisto, Ed., no. 8, Tampere, Finland, Jun. 2009, pp. 146–150. [ bib ]
[19] Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, and Heikki Virtanen, “Automatic GUI test generation for smartphone applications – an evaluation,” in Proceedings of the Software Engineering in Practice track of the 31st International Conference on Software Engineering (ICSE 2009). Los Alamitos, CA, USA: IEEE Computer Society, May 2009, pp. 112–122 (companion volume). [ bib ]
[20] Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, and Heikki Virtanen, “Synthesizing test models from test cases,” in Proceedings of the 4th International Haifa Verification Conference on Hardware and Software, Verification and Testing (HVC 2008), ser. Lecture Notes in Computer Science, Hana Chockler and Alan J. Hu, Eds., vol. 5394. Berlin, Heidelberg: Springer, May 2009, pp. 179–193. [ bib ]
[21] Henri Heiskanen, “Debug support for model-based GUI testing,” Master's thesis, Tampere University of Technology, Tampere, Finland, Mar. 2009. [ bib ]
[22] Tommi Takala, “A plug-in framework for keyword-driven online testing,” Master's thesis, Tampere University of Technology, Tampere, Finland, Mar. 2009. [ bib ]
[23] Antti Kervinen, “Towards practical model-based testing: Improvements in modelling and test generation,” Doctoral dissertation, Tampere University of Technology, Tampere, Finland, Nov. 2008, number 769 in publications. [ bib ]
[24] Antti Jääskeläinen, Antti Kervinen, and Mika Katara, “Creating a test model library for GUI testing of smartphone applications,” in Proceedings of the 8th International Conference On Quality Software (QSIC 2008) (short paper), Hong Zhu, Ed. Los Alamitos, CA, USA: IEEE Computer Society, Aug. 2008, pp. 276–282. [ bib ]
[25] 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 Joint Conference of the 20th IFIP International Conference on Testing of Communicating Systems and the 8th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2008), ser. Lecture Notes in Computer Science, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, and Toru Hasegawa, Eds., vol. 5047. Berlin, Heidelberg: Springer, Jun. 2008, pp. 38–53. [ bib ]
[26] Antti Jääskeläinen, “A domain-specific tool for creation and management of test models,” Master's thesis, Tampere University of Technology, Tampere, Finland, Jan. 2008. [ bib ]
[27] 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 2nd annual Conference of the Association for Software Testing (CAST 2007). Association for Software Testing, Jul. 2007, pp. 22–26. [ bib ]
[28] Alan Hartman, Mika Katara, and Sergey Olvovsky, “Choosing a test modeling language: A survey,” in Proceedings of the 2nd International Haifa Verification Conference on Hardware and Software, Verification and Testing (HVC 2006), ser. Lecture Notes in Computer Science, Eyal Bin, Avi Ziv, and Shmuel Ur, Eds., vol. 4383. Berlin, Heidelberg: Springer, Mar. 2007, pp. 204–218. [ bib ]
[29] Mika Katara and Antti Kervinen, “Making model-based testing more agile: A use case driven approach,” in Proceedings of the 2nd International Haifa Verification Conference on Hardware and Software, Verification and Testing (HVC 2006), ser. Lecture Notes in Computer Science, Eyal Bin, Avi Ziv, and Shmuel Ur, Eds., vol. 4383. Berlin, Heidelberg: Springer, Mar. 2007, pp. 219–234. [ bib ]
[30] Antti Kervinen, Mika Maunumaa, and Mika Katara, “Controlling testing using three-tier model architecture,” in Proceedings of the 2nd Workshop on Model Based Testing (MBT 2006), ser. Electronic Notes in Theoretical Computer Science, Bernd Finkbeiner, Yuri Gurevich, and Alexander K. Petrenko, Eds., vol. 164, iss. 4. Elsevier, Oct. 2006, pp. 53–66. [ bib ]
[31] Mikko Satama, “Event capturing tool for model-based GUI test automation,” Master's thesis, Tampere University of Technology, Tampere, Finland, Sep. 2006. [ bib ]
[32] 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 the 1st Testing: Academic & Industrial Conference – Practice and Research Techniques (TAIC PART 2006). Los Alamitos, CA, USA: IEEE Computer Society, Aug. 2006, pp. 81–89. [ bib ]
[33] 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), ser. Lecture Notes in Computer Science, Wolfgang Grieskamp and Carsten Weise, Eds., vol. 3997. Berlin, Heidelberg: Springer, Jul. 2005, pp. 16–31. [ bib ]