Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/AichernigG06,
  author       = {Bernhard K. Aichernig and
                  Chris George},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {When Model-based Testing Fails},
  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        = {115--128},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.009},
  doi          = {10.1016/J.ENTCS.2006.09.009},
  timestamp    = {Fri, 20 Jan 2023 13:14:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AichernigG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BourdonovKK06,
  author       = {Igor B. Bourdonov and
                  Alexander S. Kossatchev and
                  Victor V. Kuliamin},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Formal Conformance Testing of Systems with Refused Inputs and Forbidden
                  Actions},
  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        = {83--96},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.008},
  doi          = {10.1016/J.ENTCS.2006.09.008},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BourdonovKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BraspenningMR06,
  author       = {N. C. W. M. Braspenning and
                  Joanna M. van de Mortel{-}Fronczak and
                  Jacobus E. Rooda},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {A Model-based Integration and Testing Method to Reduce System Development
                  Effort},
  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        = {13--28},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.003},
  doi          = {10.1016/J.ENTCS.2006.09.003},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BraspenningMR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CallananGRSTZ06,
  author       = {Sean Callanan and
                  Radu Grosu and
                  Abhishek Rai and
                  Scott A. Smolka and
                  Mike R. True and
                  Erez Zadok},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Runtime Verification for High-Confidence Systems: {A} Monte Carlo
                  Approach},
  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        = {41--52},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.005},
  doi          = {10.1016/J.ENTCS.2006.09.005},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CallananGRSTZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ConradK06,
  author       = {Mirko Conrad and
                  Alexander Krupp},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {An Extension of the Classification-Tree Method for Embedded Systems
                  for the Description of Events},
  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        = {3--11},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.002},
  doi          = {10.1016/J.ENTCS.2006.09.002},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ConradK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DjouvasGL06,
  author       = {Constantinos Djouvas and
                  Nancy D. Griffeth and
                  Nancy A. Lynch},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Testing Self-Similar Networks},
  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        = {67--82},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.007},
  doi          = {10.1016/J.ENTCS.2006.09.007},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DjouvasGL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FinkbeinerGP06,
  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 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        = {1},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.001},
  doi          = {10.1016/J.ENTCS.2006.09.001},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkbeinerGP06.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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KervinenMK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NilssonOM06,
  author       = {Robert Nilsson and
                  Jeff Offutt and
                  Jonas Mellin},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Test Case Generation for Mutation-based Testing of Timeliness},
  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        = {97--114},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.010},
  doi          = {10.1016/J.ENTCS.2006.10.010},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NilssonOM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SilvaM06,
  author       = {Daniel Aguiar da Silva and
                  Patr{\'{\i}}cia D. L. Machado},
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Towards Test Purpose Generation from {CTL} Properties for Reactive
                  Systems},
  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        = {29--40},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.004},
  doi          = {10.1016/J.ENTCS.2006.09.004},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SilvaM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mbt/2006,
  editor       = {Bernd Finkbeiner and
                  Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {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},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/164/issue/4},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbt/2006.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.