BibTeX records: Antti Jääskeläinen

download as .bib file

@inproceedings{DBLP:conf/memocode/JaaskelainenJT17,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Hannu{-}Matti J{\"{a}}rvinen and
                  Mikko Tiusanen},
  editor       = {Jean{-}Pierre Talpin and
                  Patricia Derler and
                  Klaus Schneider},
  title        = {Concurrent execution system for action languages},
  booktitle    = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
                  September 29 - October 02, 2017},
  pages        = {157--160},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3127041.3127062},
  doi          = {10.1145/3127041.3127062},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/JaaskelainenJT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Jaaskelainen16,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen},
  editor       = {Franz Wotawa and
                  Mihai Nica and
                  Natalia Kushik},
  title        = {Towards Model Construction Based on Test Cases and {GUI} Extraction},
  booktitle    = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9976},
  pages        = {225--230},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47443-4\_15},
  doi          = {10.1007/978-3-319-47443-4\_15},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Jaaskelainen16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/JaaskelainenJV14,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Hannu{-}Matti J{\"{a}}rvinen and
                  Heikki Virtanen},
  editor       = {Houari A. Sahraoui and
                  Andy Zaidman and
                  Bonita Sharif},
  title        = {Action-Based Visualization},
  booktitle    = {Second {IEEE} Working Conference on Software Visualization, {VISSOFT}
                  2014, Victoria, BC, Canada, September 29-30, 2014},
  pages        = {20--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/VISSOFT.2014.13},
  doi          = {10.1109/VISSOFT.2014.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vissoft/JaaskelainenJV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/DevJK12,
  author       = {Rupesh Dev and
                  Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Mika Katara},
  title        = {Model-Based {GUI} Testing: Case Smartphone Camera and Messaging Development},
  journal      = {Adv. Comput.},
  volume       = {85},
  pages        = {65--122},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-12-396526-4.00002-3},
  doi          = {10.1016/B978-0-12-396526-4.00002-3},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ac/DevJK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Jaaskelainen11,
  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       = {University of Tampere, Finland},
  year         = {2011},
  url          = {https://trepo.tuni.fi/handle/10024/113877},
  timestamp    = {Thu, 05 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Jaaskelainen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/NieminenJVK11,
  author       = {Antti Nieminen and
                  Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Heikki Virtanen and
                  Mika Katara},
  editor       = {Manuel N{\'{u}}{\~{n}}ez and
                  Robert M. Hierons and
                  Mercedes G. Merayo},
  title        = {A Comparison of Test Generation Algorithms for Testing Application
                  Interactions},
  booktitle    = {Proceedings of the 11th International Conference on Quality Software,
                  {QSIC} 2011, Madrid, Spain, July 13-14, 2011},
  pages        = {131--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/QSIC.2011.12},
  doi          = {10.1109/QSIC.2011.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/NieminenJVK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/JaaskelainenKKV11,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Mika Katara and
                  Shmuel Katz and
                  Heikki Virtanen},
  editor       = {J{\"{o}}rg Brauer and
                  Marco Roveri and
                  Hendrik Tews},
  title        = {Verification of Safety-Critical Systems: {A} Case Study Report on
                  Using Modern Model Checking Tools},
  booktitle    = {6th International Workshop on Systems Software Verification, {SSV}
                  2011, August 26, 2011, Nijmegen, The Netherlands},
  series       = {OASIcs},
  volume       = {24},
  pages        = {44--56},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/OASIcs.SSV.2011.44},
  doi          = {10.4230/OASICS.SSV.2011.44},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/ssv/JaaskelainenKKV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/JaaskelainenTK11,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Tommi Takala and
                  Mika Katara},
  editor       = {Justyna Zander and
                  Ina Schieferdecker and
                  Pieter J. Mosterman},
  title        = {Model-Based {GUI} Testing of Smartphone Applications},
  booktitle    = {Model-Based Testing for Embedded Systems},
  series       = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
  publisher    = {{CRC} Press},
  year         = {2011},
  url          = {https://doi.org/10.1201/b11321-19},
  doi          = {10.1201/B11321-19},
  timestamp    = {Tue, 20 Aug 2019 14:31:32 +0200},
  biburl       = {https://dblp.org/rec/books/tf/11/JaaskelainenTK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/MalikJVKATL10,
  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},
  editor       = {Roy Sterritt and
                  Brandon Eames and
                  Jonathan Sprinkle},
  title        = {Model-Based Testing Using System vs. Test Models - What Is the Difference?},
  booktitle    = {17th {IEEE} International Conference and Workshops on the Engineering
                  of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26
                  March 2010},
  pages        = {291--299},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ECBS.2010.41},
  doi          = {10.1109/ECBS.2010.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/MalikJVKATL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HeiskanenJK10,
  author       = {Henri Heiskanen and
                  Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Mika Katara},
  title        = {Debug Support for Model-Based {GUI} Testing},
  booktitle    = {Third International Conference on Software Testing, Verification and
                  Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
  pages        = {25--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICST.2010.36},
  doi          = {10.1109/ICST.2010.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HeiskanenJK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/JaaskelainenKRYK10,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Mika Katara and
                  Julia Rubin and
                  Tali Yatzkar{-}Haham and
                  Mila Keren},
  editor       = {Goetz Botterweck and
                  Stan Jarzabek and
                  Tomoji Kishi and
                  Jaejoon Lee and
                  Steve Livengood},
  title        = {Assessing Model-Driven Software Product Lines for Lean and Agile Development:
                  An Experience Report},
  booktitle    = {Software Product Lines - 14th International Conference, {SPLC} 2010,
                  Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
                  (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
                  and Tools)},
  pages        = {171--180},
  publisher    = {Lancaster University},
  year         = {2010},
  url          = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
  timestamp    = {Wed, 30 Mar 2016 18:10:17 +0200},
  biburl       = {https://dblp.org/rec/conf/splc/JaaskelainenKRYK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Jaaskelainen10,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Filtering Test Models to Support Incremental Testing},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {72--87},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_8},
  doi          = {10.1007/978-3-642-15585-7\_8},
  timestamp    = {Mon, 23 Nov 2020 12:33:09 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/Jaaskelainen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JaaskelainenKKMPTV09,
  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    = {31st International Conference on Software Engineering, {ICSE} 2009,
                  May 16-24, 2009, Vancouver, Canada, Companion Volume},
  pages        = {112--122},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSE-COMPANION.2009.5070969},
  doi          = {10.1109/ICSE-COMPANION.2009.5070969},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/JaaskelainenKKMPTV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/JaaskelainenKKVV08,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Antti Kervinen and
                  Mika Katara and
                  Antti Valmari and
                  Heikki Virtanen},
  editor       = {Hana Chockler and
                  Alan J. Hu},
  title        = {Synthesizing Test Models from Test Cases},
  booktitle    = {Hardware and Software: Verification and Testing, 4th International
                  Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
                  27-30, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5394},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01702-5\_18},
  doi          = {10.1007/978-3-642-01702-5\_18},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/JaaskelainenKKVV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/JaaskelainenKKHMP08,
  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},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Model-Based Testing Service on the Web},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {38--53},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_5},
  doi          = {10.1007/978-3-540-68524-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/JaaskelainenKKHMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/JaaskelainenKK08,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Antti Kervinen and
                  Mika Katara},
  editor       = {Hong Zhu},
  title        = {Creating a Test Model Library for {GUI} Testing of Smartphone Applications
                  (Short Paper)},
  booktitle    = {Proceedings of the Eighth International Conference on Quality Software,
                  {QSIC} 2008, 12-13 August 2008, Oxford, {UK}},
  pages        = {276--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/QSIC.2008.26},
  doi          = {10.1109/QSIC.2008.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/JaaskelainenKK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics