Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/entcs/ChoL05,
  author    = {Seung Mo Cho and
               Jae Wook Lee},
  title     = {Lightweight Specification-based Testing of Memory Cards: {A} Case
               Study},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {73--91},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.008},
  doi       = {10.1016/j.entcs.2004.12.008},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/ChoL05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/ConradFS05,
  author    = {Mirko Conrad and
               Ines Fey and
               Sadegh Sadeghipour},
  title     = {Systematic Model-Based Testing of Embedded Automotive Software},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {13--26},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.005},
  doi       = {10.1016/j.entcs.2004.12.005},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/ConradFS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GrossSD05,
  author    = {Hans{-}Gerhard Gro{\ss} and
               Ina Schieferdecker and
               George Din},
  title     = {Model-Based Built-In Tests},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {161--182},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.001},
  doi       = {10.1016/j.entcs.2004.12.001},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GrossSD05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GurevichPK05,
  author    = {Yuri Gurevich and
               Alexander K. Petrenko and
               Alexander S. Kossatchev},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {1--3},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.003},
  doi       = {10.1016/j.entcs.2004.12.003},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GurevichPK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/KervinenV05,
  author    = {Antti Kervinen and
               Pablo Virolainen},
  title     = {Heuristics for Faster Error Detection With Automated Black Box Testing},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {53--71},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.007},
  doi       = {10.1016/j.entcs.2004.12.007},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/KervinenV05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Kuliamin05,
  author    = {Victor V. Kuliamin},
  title     = {Multi-paradigm Models as Source for Automated Test Construction},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {137--160},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.002},
  doi       = {10.1016/j.entcs.2004.12.002},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Kuliamin05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/MarreB05,
  author    = {Bruno Marre and
               Benjamin Blanc},
  title     = {Test Selection Strategies for Lustre Descriptions in GATeL},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {93--111},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.010},
  doi       = {10.1016/j.entcs.2004.12.010},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/MarreB05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/SatpathyLB05,
  author    = {Manoranjan Satpathy and
               Michael Leuschel and
               Michael J. Butler},
  title     = {ProTest: An Automatic Test Environment for {B} Specifications},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {113--136},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.009},
  doi       = {10.1016/j.entcs.2004.12.009},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/SatpathyLB05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/ScolloZ05,
  author    = {Giuseppe Scollo and
               Silvia Zecchini},
  title     = {Architectural Unit Testing},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {27--52},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.006},
  doi       = {10.1016/j.entcs.2004.12.006},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/ScolloZ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Stobie05,
  author    = {Keith Stobie},
  title     = {Model Based Testing in Practice at Microsoft},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {5--12},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.004},
  doi       = {10.1016/j.entcs.2004.12.004},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Stobie05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics