Search dblp for Publications

export results for "toc:db/journals/entcs/entcs111.bht:"

 download as .bib file

@proceedings{DBLP:conf/mbt/2004,
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {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},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/111/suppl/C},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbt/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChoL05,
  author       = {Seung Mo Cho and
                  Jae Wook Lee},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Lightweight Specification-based Testing of Memory Cards: {A} Case
                  Study},
  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        = {73--91},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.008},
  doi          = {10.1016/J.ENTCS.2004.12.008},
  timestamp    = {Fri, 09 Dec 2022 12:57:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChoL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ConradFS05,
  author       = {Mirko Conrad and
                  Ines Fey and
                  Sadegh Sadeghipour},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Systematic Model-Based Testing of Embedded Automotive Software},
  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        = {13--26},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.005},
  doi          = {10.1016/J.ENTCS.2004.12.005},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ConradFS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrossSD05,
  author       = {Hans{-}Gerhard Gro{\ss} and
                  Ina Schieferdecker and
                  George Din},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Model-Based Built-In Tests},
  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        = {161--182},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.001},
  doi          = {10.1016/J.ENTCS.2004.12.001},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrossSD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GurevichPK05,
  author       = {Yuri Gurevich and
                  Alexander K. Petrenko and
                  Alexander S. Kossatchev},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Preface},
  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        = {1--3},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.003},
  doi          = {10.1016/J.ENTCS.2004.12.003},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GurevichPK05.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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KervinenV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kuliamin05,
  author       = {Victor V. Kuliamin},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Multi-paradigm Models as Source for Automated Test Construction},
  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        = {137--160},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.002},
  doi          = {10.1016/J.ENTCS.2004.12.002},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kuliamin05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MarreB05,
  author       = {Bruno Marre and
                  Benjamin Blanc},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Test Selection Strategies for Lustre Descriptions in GATeL},
  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        = {93--111},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.010},
  doi          = {10.1016/J.ENTCS.2004.12.010},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MarreB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SatpathyLB05,
  author       = {Manoranjan Satpathy and
                  Michael Leuschel and
                  Michael J. Butler},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {ProTest: An Automatic Test Environment for {B} Specifications},
  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        = {113--136},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.009},
  doi          = {10.1016/J.ENTCS.2004.12.009},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SatpathyLB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ScolloZ05,
  author       = {Giuseppe Scollo and
                  Silvia Zecchini},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Architectural Unit 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        = {27--52},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.006},
  doi          = {10.1016/J.ENTCS.2004.12.006},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ScolloZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Stobie05,
  author       = {Keith Stobie},
  editor       = {Yuri Gurevich and
                  Alexander K. Petrenko},
  title        = {Model Based Testing in Practice at Microsoft},
  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        = {5--12},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.004},
  doi          = {10.1016/J.ENTCS.2004.12.004},
  timestamp    = {Fri, 09 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Stobie05.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.