references.bib

@inproceedings{profes-2012-hmk,
	author = "Henri Heiskanen and Mika Maunumaa and Mika Katara",
	title = "A Test Process Improvement Model for Automated Test Generation",
	booktitle = "Proceedings of the 13th International Conference on Product-Focused Software Process Improvement (PROFES 2012)",
	location = "Madrid, Spain",
	editor = "Oscar Dieste and Andreas Jedlitschka and Natalia Juristo Juzgado",
	series = "Lecture Notes in Computer Science",
	volume = "7343",
	pages = "17--31",
	address = "Berlin, Heidelberg",
	publisher = "Springer",
	month = jun,
	year = "2012",
}
@incollection{chapter-2012-jtk,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Tommi Takala and Mika Katara",
	title = "Model-Based {GUI} Testing of {Android} Applications",
	booktitle = "Experiences of Test Automation: Case Studies of Software Test Automation",
	editor = "Dorothy Graham and Mark Fewster",
	chapter = "14",
	pages = "253--275",
	address = "Upper Saddle River, NJ, USA",
	publisher = "Addison-Wesley (Pearson Education)",
	year = "2012",
	month = jan,
}
@incollection{chapter-2011-jtk,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Tommi Takala and Mika Katara",
	title = "Model-Based {GUI} Testing of Smartphone Applications: Case {S60} and {Linux}",
	booktitle = "Model-Based Testing for Embedded Systems",
	editor = "Justyna Zander and Ina Schieferdecker and Pieter J. Mosterman",
	series = "Computational Analysis, Synthesis, and Design of Dynamic Systems",
	chapter = "18",
	pages = "525--544",
	address = "Boca Raton, FL, USA",
	publisher = "CRC Press",
	month = sep,
	year = "2011",
}
@inproceedings{ssv-2011-jkkv,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Mika Katara and Shmuel Katz and Heikki Virtanen",
	title = "Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools",
	booktitle = "Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011)",
	location = "Nijmegen, The Netherlands",
	editor = "J{\"o}rg Braner and Marco Roveri and Hendrik Tews",
	pages = "66--80",
	address = "Saarbr{\"u}cken, Germany",
	publisher = "Schloss Dagstuhl",
	month = aug,
	year = 2011,
}
@inproceedings{qsic-2011-njvk,
	author = "Antti Nieminen and Antti J{\"a}{\"a}skel{\"a}inen and Heikki Virtanen and Mika Katara",
	title = "A Comparison of Test Generation Algorithms for Testing Application Interactions",
	booktitle = "Proceedings of the 11th International Conference On Quality Software (QSIC 2011)",
	location = "Madrid, Spain",
	pages = "131--140",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = jul,
	year = "2011",
}
@article{stvr-2011-jkp,
	author = "Marek Janicki and Mika Katara and Tuula P{\"a}{\"a}kk{\"o}nen",
	title = "Obstacles and Opportunities in Deploying Model-Based {GUI} Testing of Mobile Software: A Survey",
	journal = "Software Testing, Verification and Reliability (STVR)",
	volume = "22",
	number = "5",
	pages = "313-341",
	month = may,
	year = "2011",
}
@inproceedings{testbeds-2011-ptk,
	author = "Tuomas Pajunen and Tommi Takala and Mika Katara",
	title = "Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework",
	booktitle = "Proceedings of the 3rd International Workshop on Testing Techniques \& Experimentation Benchmarks for Event-Driven Software (TESTBEDS 2011)",
	location = "Berlin, Germany",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = mar,
	year = "2011",
}
@inproceedings{icst-2011-tkh,
	author = "Tommi Takala and Mika Katara and Julian Harty",
	title = "Experiences of System-Level Model-Based {GUI} Testing of an {Android} Application",
	booktitle = "Proceedings of the 4th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2011)",
	location = "Berlin, Germany",
	pages = "377--386",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = mar,
	year = "2011",
}
@phdthesis{phd-2011-jaaskelainen,
	author = "Antti J{\"a}{\"a}skel{\"a}inen",
	title = "Design, Implementation and Use of a Test Model Library for {GUI} Testing of Smartphone Applications",
	school = "Tampere University of Technology",
	type = "Doctoral dissertation",
	address = "Tampere, Finland",
	month = jan,
	year = "2011",
	note = "Number 948 in publications",
}
@inproceedings{maple-2010-jkryk,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Mika Katara and Julia Rubin and Tali Yatzkar-Haham and Mila Keren",
	title = "Assessing Model-Driven Software Product Lines for Lean and Agile Development: An Experience Report",
	booktitle = "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",
	location = "Jeju Island, South Korea",
	editor = "Goetz Botterweck and Stan Jarzabek and Tomoji Kishi and Jaejoon Lee and Steve Livengood",
	pages = "171--179",
	address = "Lancaster, UK",
	publisher = "Lancaster University",
	month = sep,
	year = "2010",
}
@inproceedings{taicpart-2010-j,
	author = "Antti J{\"a}{\"a}skel{\"a}inen",
	title = "Filtering Test Models to Support Incremental Testing",
	booktitle = "Proceedings of the 5th Testing: Academic \& Industrial Conference -- Practice and Research Techniques (TAIC PART 2010)",
	location = "Windsor, UK",
	editor = "Leonardo Bottaci and Gordon Fraser",
	series = "Lecture Notes in Computer Science",
	volume = "6303",
	pages = "72--87",
	address = "Berlin, Heidelberg",
	publisher = "Springer",
	month = sep,
	year = "2010",
}
@mastersthesis{msc-2010-pajunen,
	author = "Tuomas Pajunen",
	title = "Model-Based Testing with a Keyword-Driven Test Automation Framework",
	school = "Tampere University of Technology",
	address = "Tampere, Finland",
	month = jun,
	year = "2010",
}
@inproceedings{tise-2010-j,
	author = "Antti J{\"a}{\"a}skel{\"a}inen",
	title = "Developing Effective Test Models",
	booktitle = "Digest of TISE Seminar 2010",
	location = "Yl{\"o}j{\"a}rvi, Finland",
	editor = "Pertti Koivisto",
	series = "TISE Publication Series",
	number = "9",
	pages = "56--59",
	address = "Tampere, Finland",
	month = may,
	year = "2010",
}
@inproceedings{icst-2010-hjk,
	author = "Henri Heiskanen and Antti J{\"a}{\"a}skel{\"a}inen and Mika Katara",
	title = "Debug Support for Model-Based {GUI} Testing",
	booktitle = "Proceedings of the 3rd IEEE International Conference on Software Testing, Verification, and Validation (ICST 2010)",
	location = "Paris, France",
	pages = "25--34",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = apr,
	year = "2010",
	doi = "http://doi.ieeecomputersociety.org/10.1109/ICST.2010.36",
}
@inproceedings{ecbs-2010-mjvkatl,
	author = "Qaisar A. Malik and Antti J{\"a}{\"a}skel{\"a}inen and Heikki Virtanen and Mika Katara and Fredrik Abbors and Dragos Truscan and Johan Lilius",
	title = "Model-Based Testing Using System vs. Test Models -- What Is the Difference?",
	booktitle = "Proceedings of the 17th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2010) (poster session)",
	location = "Oxford, UK",
	pages = "291--299",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = mar,
	year = "2010",
}
@inproceedings{qsic-2009-tmk,
	author = "Tommi Takala and Mika Maunumaa and Mika Katara",
	title = "An Adapter Framework for Keyword-Driven Testing",
	booktitle = "Proceedings of the 9th International Conference On Quality Software (QSIQ 2009)",
	pages = "201--210",
	location = "Jeju, Korea",
	month = aug,
	year = "2009",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	doi = "10.1109/QSIC.2009.35",
}
@mastersthesis{msc-2009-janicki,
	author = "Marek Janicki",
	title = "Survey on Automatic Test Generation in Testing of Mobile Applications",
	school = "Tampere University of Technology",
	address = "Tampere, Finland",
	month = aug,
	year = "2009",
}
@inproceedings{tise-2009-j,
	author = "Antti J{\"a}{\"a}skel{\"a}inen",
	title = " Model-Based Software Testing: Design and Implementation of a Test Model Library",
	booktitle = "Digest of TISE Seminar 2009",
	location = "Kangasala, Finland",
	editor = "Pertti Koivisto",
	series = "TISE Publication Series",
	number = "8",
	pages = "146--150",
	address = "Tampere, Finland",
	month = jun,
	year = "2009",
}
@inproceedings{icse-2009-jkkmptv,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Mika Katara and Antti Kervinen and Mika Maunumaa and Tuula P{\"a}{\"a}kk{\"o}nen and Tommi Takala and Heikki Virtanen",
	title = "Automatic {GUI} Test Generation for Smartphone Applications -- An Evaluation",
	booktitle = "Proceedings of the Software Engineering in Practice track of the 31st International Conference on Software Engineering (ICSE 2009)",
	location = "Vancouver, Canada",
	pages = "112--122 (companion volume)",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = may,
	year = "2009",
}
@inproceedings{hvc-2008-jkkvv,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Antti Kervinen and Mika Katara and Antti Valmari and Heikki Virtanen",
	title = "Synthesizing Test Models from Test Cases",
	booktitle = "Proceedings of the 4th International Haifa Verification Conference on Hardware and Software, Verification and Testing (HVC 2008)",
	location = "Haifa, Israel",
	editor = "Hana Chockler and Alan J. Hu",
	series = "Lecture Notes in Computer Science",
	volume = "5394",
	pages = "179--193",
	address = "Berlin, Heidelberg",
	publisher = "Springer",
	month = may,
	year = "2009",
	isbn = "978-3-642-01701-8",
	doi = "http://dx.doi.org/10.1007/978-3-642-01702-5_18",
}
@mastersthesis{msc-2009-heiskanen,
	author = "Henri Heiskanen",
	title = "Debug Support for Model-Based {GUI} Testing",
	school = "Tampere University of Technology",
	address = "Tampere, Finland",
	month = mar,
	year = "2009",
}
@mastersthesis{msc-2009-takala,
	author = "Tommi Takala",
	title = "A Plug-In Framework for Keyword-Driven Online Testing",
	school = "Tampere University of Technology",
	address = "Tampere, Finland",
	month = mar,
	year = "2009",
}
@phdthesis{phd-2008-kervinen,
	author = "Antti Kervinen",
	title = "Towards Practical Model-Based Testing: Improvements in Modelling and Test Generation",
	school = "Tampere University of Technology",
	type = "Doctoral dissertation",
	address = "Tampere, Finland",
	month = nov,
	year = "2008",
	note = "Number 769 in publications",
}
@inproceedings{qsic-2008-jkk,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Antti Kervinen and Mika Katara",
	title = "Creating a Test Model Library for {GUI} Testing of Smartphone Applications",
	booktitle = "Proceedings of the 8th International Conference On Quality Software (QSIC 2008) (short paper)",
	location = "Oxford, UK",
	editor = "Hong Zhu",
	pages = "276--282",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = aug,
	year = "2008",
	doi = "http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.26",
}
@inproceedings{testcomfates-2008-jkkhmp,
	author = "Antti J{\"a}{\"a}skel{\"a}inen and Mika Katara and Antti Kervinen and Henri Heiskanen and Mika Maunumaa and Tuula P{\"a}{\"a}kk{\"o}nen",
	title = "Model-Based Testing Service on the Web",
	booktitle = "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)",
	location = "Tokyo, Japan",
	editor = "Kenji Suzuki and Teruo Higashino and Andreas Ulrich and Toru Hasegawa",
	series = "Lecture Notes in Computer Science",
	volume = "5047",
	pages = "38--53",
	address = "Berlin, Heidelberg",
	publisher = "Springer",
	month = jun,
	year = "2008",
}
@mastersthesis{msc-2008-jaaskelainen,
	author = "Antti J{\"a}{\"a}skel{\"a}inen",
	title = "A Domain-Specific Tool for Creation and Management of Test Models",
	school = "Tampere University of Technology",
	address = "Tampere, Finland",
	month = jan,
	year = "2008",
}
@inproceedings{cast-2007-kkmpj,
	author = "Mika Katara and Antti Kervinen and Mika Maunumaa and Tuula P{\"a}{\"a}kk{\"o}nen and Antti J{\"a}{\"a}skel{\"a}inen",
	title = "Can {I} Have Some Model-Based {GUI} Tests Please? {P}roviding a Model-Based Testing Service through a Web Interface",
	booktitle = "Proceedings of the 2nd annual Conference of the Association for Software Testing (CAST 2007)",
	location = "Bellevue, Washington, USA",
	pages = "22--26",
	publisher = "Association for Software Testing",
	month = jul,
	year = "2007",
}
@inproceedings{hvc-2006-hko,
	author = "Alan Hartman and Mika Katara and Sergey Olvovsky",
	title = "Choosing a Test Modeling Language: A Survey",
	booktitle = "Proceedings of the 2nd International Haifa Verification Conference on Hardware and Software, Verification and Testing (HVC 2006)",
	location = "Haifa, Israel",
	editor = "Eyal Bin and Avi Ziv and Shmuel Ur",
	series = "Lecture Notes in Computer Science",
	volume = "4383",
	pages = "204--218",
	address = "Berlin, Heidelberg",
	publisher = "Springer",
	month = mar,
	year = "2007",
}
@inproceedings{hvc-2006-kk,
	author = "Mika Katara and Antti Kervinen",
	title = "Making Model-Based Testing More Agile: A Use Case Driven Approach",
	booktitle = "Proceedings of the 2nd International Haifa Verification Conference on Hardware and Software, Verification and Testing (HVC 2006)",
	location = "Haifa, Israel",
	editor = "Eyal Bin and Avi Ziv and Shmuel Ur",
	series = "Lecture Notes in Computer Science",
	volume = "4383",
	pages = "219--234",
	address = "Berlin, Heidelberg",
	publisher = "Springer",
	month = mar,
	year = "2007",
}
@inproceedings{mbt-2006-kmk,
	author = "Antti Kervinen and Mika Maunumaa and Mika Katara",
	title = "Controlling Testing Using Three-Tier Model Architecture",
	booktitle = "Proceedings of the 2nd Workshop on Model Based Testing (MBT 2006)",
	location = "Vienna, Austria",
	editor = "Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko",
	series = "Electronic Notes in Theoretical Computer Science",
	volume = "164, iss. 4",
	pages = "53--66",
	publisher = "Elsevier",
	month = oct,
	year = 2006,
}
@mastersthesis{msc-2006-satama,
	author = "Mikko Satama",
	title = "Event Capturing Tool for Model-Based {GUI} Test Automation",
	school = "Tampere University of Technology",
	address = "Tampere, Finland",
	month = sep,
	year = "2006",
}
@inproceedings{taicpart-2006-kkmps,
	author = "Mika Katara and Antti Kervinen and Mika Maunumaa and Tuula P{\"a}{\"a}kk{\"o}nen and Mikko Satama",
	title = "Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach",
	booktitle = "Proceedings of the 1st Testing: Academic \& Industrial Conference -- Practice and Research Techniques (TAIC PART 2006)",
	location = "Windsor, UK",
	pages = "81--89",
	address = "Los Alamitos, CA, USA",
	publisher = "IEEE Computer Society",
	month = aug,
	year = "2006",
}
@inproceedings{fates-2005-kmpk,
	author = "Antti Kervinen and Mika Maunumaa and Tuula P{\"a}{\"a}kk{\"o}nen and Mika Katara",
	title = "Model-Based Testing Through a {GUI}",
	booktitle = "Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005)",
	location = "Edinburgh, UK",
	editor = "Wolfgang Grieskamp and Carsten Weise",
	series = "Lecture Notes in Computer Science",
	volume = "3997",
	pages = "16--31",
	address = "Berlin, Heidelberg",
	publisher = "Springer",
	month = jul,
	year = 2005,
}