Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Antti Jääskeläinen
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.