Search dblp for Publications

export results for "toc:db/conf/mbt/mbt2009.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/AichernigBW09,
  author       = {Bernhard K. Aichernig and
                  Harald Brandl and
                  Franz Wotawa},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Conformance Testing of Hybrid Systems with Qualitative Reasoning Models},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {53--69},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.051},
  doi          = {10.1016/J.ENTCS.2009.09.051},
  timestamp    = {Fri, 24 Feb 2023 15:15:05 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AichernigBW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DadeauLH09,
  author       = {Fr{\'{e}}d{\'{e}}ric Dadeau and
                  Jocelyn Levrey and
                  Pierre{-}Cyrille H{\'{e}}am},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {On the Use of Uniform Random Generation of Automata for Testing},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {37--51},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.050},
  doi          = {10.1016/J.ENTCS.2009.09.050},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DadeauLH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DadeauT09,
  author       = {Fr{\'{e}}d{\'{e}}ric Dadeau and
                  R{\'{e}}gis Tissot},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {jSynoPSys - {A} Scenario-Based Testing Tool based on the Symbolic
                  Animation of {B} Machines},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {117--132},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.055},
  doi          = {10.1016/J.ENTCS.2009.09.055},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DadeauT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FinkbeinerGP09,
  author       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Preface},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.047},
  doi          = {10.1016/J.ENTCS.2009.09.047},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkbeinerGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KimHHK09,
  author       = {Moonzoo Kim and
                  Shin Hong and
                  Changki Hong and
                  Taeho Kim},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Model-based Kernel Testing for Concurrency Bugs through Counter Example
                  Replay},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {21--36},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.049},
  doi          = {10.1016/J.ENTCS.2009.09.049},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KimHHK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KrennA09,
  author       = {Willibald Krenn and
                  Bernhard K. Aichernig},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Test Case Generation by Contract Mutation in Spec{\#}},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {71--86},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.052},
  doi          = {10.1016/J.ENTCS.2009.09.052},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KrennA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SalasK09,
  author       = {Percy Antonio Pari Salas and
                  Padmanabhan Krishnan},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Automated Software Testing of Asynchronous Systems},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.048},
  doi          = {10.1016/J.ENTCS.2009.09.048},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SalasK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchumannSH09,
  author       = {Anika Schumann and
                  Martin Sachenbacher and
                  Jinbo Huang},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Computing Optimal Tests for Non-deterministic Systems Using {DNNF}
                  Graphs},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {87--99},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.053},
  doi          = {10.1016/J.ENTCS.2009.09.053},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchumannSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TsiopoulosS09,
  author       = {Leonidas Tsiopoulos and
                  Manoranjan Satpathy},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Model Based Testing of a Network-on-Chip Component},
  booktitle    = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  pages        = {101--116},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.054},
  doi          = {10.1016/J.ENTCS.2009.09.054},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TsiopoulosS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mbt/2009,
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
                  York, UK, March 22, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/253/issue/2},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbt/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.