BibTeX records: Antti Kervinen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Antti Kervinen

download as .bib file

@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/mobility/KervinenJNM09,
  author       = {Antti Kervinen and
                  Jarmo Jaakkola and
                  Antti Nieminen and
                  Tommi Mikkonen},
  title        = {Towards eased debugging of Python applications on Maemo platform},
  booktitle    = {Proceedings of the 6th International Conference on Mobile Technology,
                  Applications, and Systems, Mobility Conference 2009, Nice, France,
                  September 2-4, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1710035.1710063},
  doi          = {10.1145/1710035.1710063},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobility/KervinenJNM09.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}
}

@inproceedings{DBLP:conf/acsd/HansenK06,
  author       = {Henri Hansen and
                  Antti Kervinen},
  title        = {Minimal Counterexamples in O(n log n) Memory and O(n{\^{}}2) Time},
  booktitle    = {Sixth International Conference on Application of Concurrency to System
                  Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ACSD.2006.11},
  doi          = {10.1109/ACSD.2006.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/HansenK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/KataraK06,
  author       = {Mika Katara and
                  Antti Kervinen},
  editor       = {Eyal Bin and
                  Avi Ziv and
                  Shmuel Ur},
  title        = {Making Model-Based Testing More Agile: {A} Use Case Driven Approach},
  booktitle    = {Hardware and Software, Verification and Testing, Second International
                  Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
                  23-26, 2006. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4383},
  pages        = {219--234},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-70889-6\_17},
  doi          = {10.1007/978-3-540-70889-6\_17},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/KataraK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/taicpart/KataraKMPS06,
  author       = {Mika Katara and
                  Antti Kervinen and
                  Mika Maunumaa and
                  Tuula P{\"{a}}{\"{a}}kk{\"{o}}nen and
                  Mikko Satama},
  editor       = {Phil McMinn},
  title        = {Towards Deploying Model-Based Testing with a Domain-Specific Modeling
                  Approach},
  booktitle    = {Testing: Academia and Industry Conference - Practice And Research
                  Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
                  Kingdom},
  pages        = {81--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/TAIC-PART.2006.34},
  doi          = {10.1109/TAIC-PART.2006.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/KataraKMPS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KervinenMK06,
  author       = {Antti Kervinen and
                  Mika Maunumaa and
                  Mika Katara},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Controlling Testing Using Three-Tier Model Architecture},
  booktitle    = {Proceedings of the Second Workshop on Model Based Testing, {MBT} 2006,
                  Vienna, Austria, March 25-26, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {4},
  pages        = {53--66},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.006},
  doi          = {10.1016/J.ENTCS.2006.09.006},
  timestamp    = {Fri, 20 Jan 2023 13:14:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KervinenMK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/KervinenMPK05,
  author       = {Antti Kervinen and
                  Mika Maunumaa and
                  Tuula P{\"{a}}{\"{a}}kk{\"{o}}nen and
                  Mika Katara},
  editor       = {Wolfgang Grieskamp and
                  Carsten Weise},
  title        = {Model-Based Testing Through a {GUI}},
  booktitle    = {Formal Approaches to Software Testing, 5th International Workshop,
                  {FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3997},
  pages        = {16--31},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11759744\_2},
  doi          = {10.1007/11759744\_2},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/KervinenMPK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KervinenV05,
  author       = {Antti Kervinen and
                  Pablo Virolainen},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Heuristics for Faster Error Detection With Automated Black Box Testing},
  booktitle    = {Proceedings of the Workshop on Model Based Testing, {MBT} 2004, Barcelona,
                  Spain, March 27-28, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {111},
  pages        = {53--71},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.007},
  doi          = {10.1016/J.ENTCS.2004.12.007},
  timestamp    = {Fri, 09 Dec 2022 12:57:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KervinenV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/ValmariK02,
  author       = {Antti Valmari and
                  Antti Kervinen},
  editor       = {Lubos Brim and
                  Petr Jancar and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Alphabet-Based Synchronisation is Exponentially Cheaper},
  booktitle    = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
                  Brno, Czech Republic, August 20-23, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2421},
  pages        = {161--176},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45694-5\_12},
  doi          = {10.1007/3-540-45694-5\_12},
  timestamp    = {Fri, 30 Aug 2019 10:02:28 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/ValmariK02.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.