Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BlancJMGA10,
  author       = {Benjamin Blanc and
                  Christophe Junke and
                  Bruno Marre and
                  Pascale Le Gall and
                  Olivier Andrieu},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Handling State-Machines Specifications with GATeL},
  booktitle    = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.011},
  doi          = {10.1016/J.ENTCS.2010.12.011},
  timestamp    = {Fri, 10 Mar 2023 10:51:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BlancJMGA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DulzHG10,
  author       = {Winfried Dulz and
                  Stefan Holpp and
                  Reinhard German},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {A Polyhedron Approach to Calculate Probability Distributions for Markov
                  Chain Usage Models},
  booktitle    = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  pages        = {19--35},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.012},
  doi          = {10.1016/J.ENTCS.2010.12.012},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DulzHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FinkbeinerGP10,
  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 the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.010},
  doi          = {10.1016/J.ENTCS.2010.12.010},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkbeinerGP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LochauG10,
  author       = {Malte Lochau and
                  Ursula Goltz},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Feature Interaction Aware Test Case Generation for Embedded Control
                  Systems},
  booktitle    = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  pages        = {37--52},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.013},
  doi          = {10.1016/J.ENTCS.2010.12.013},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LochauG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OlsenLS10,
  author       = {Petur Olsen and
                  Kim G. Larsen and
                  Arne Skou},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Present and Absent Sets: Abstraction for Testing of Reactive Systems
                  with Databases},
  booktitle    = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  pages        = {53--68},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.014},
  doi          = {10.1016/J.ENTCS.2010.12.014},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/OlsenLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OweST10,
  author       = {Olaf Owe and
                  Martin Steffen and
                  Arild B. Torjusen},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Model Testing Asynchronously Communicating Objects using Modulo {AC}
                  Rewriting},
  booktitle    = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  pages        = {69--84},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.015},
  doi          = {10.1016/J.ENTCS.2010.12.015},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OweST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TretmansPHS10,
  author       = {Jan Tretmans and
                  Florian Prester and
                  Philipp Helle and
                  Wladimir Schamai},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Model-Based Testing 2010: Short Abstracts},
  booktitle    = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  pages        = {85--99},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.016},
  doi          = {10.1016/J.ENTCS.2010.12.016},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TretmansPHS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mbt/2010,
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
                  2010, Paphos, Cyprus, March 21, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {264},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/264/issue/3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbt/2010.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.