Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/books/collections/ZSM2011.bht:"
download as .bib file
@incollection{DBLP:books/tf/11/AbborsAKTT11,
author = {Fredrik Abbors and
Veli{-}Matti Aho and
Jani Koivulainen and
Risto Teittinen and
Dragos Truscan},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Applying Model-Based Testing in the Telecommunication Domain},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-18},
doi = {10.1201/B11321-18},
timestamp = {Tue, 20 Aug 2019 14:31:32 +0200},
biburl = {https://dblp.org/rec/books/tf/11/AbborsAKTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/Barford11,
author = {Lee Barford},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Model-Based Testing of Analog Embedded Systems Components},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-22},
doi = {10.1201/B11321-22},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/Barford11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/BelliHP11,
author = {Fevzi Belli and
Axel Hollmann and
Sascha Padberg},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Model-Based Integration Testing with Communication Sequence Graphs},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-10},
doi = {10.1201/B11321-10},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/BelliHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/BroyP11,
author = {Manfred Broy and
Alexander Pretschner},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {A Model-Based View onto Testing},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-11},
doi = {10.1201/B11321-11},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/BroyP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/Conrad11,
author = {Mirko Conrad},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Testing-Based Translation Validation of Generated Code},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-21},
doi = {10.1201/B11321-21},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/Conrad11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/DadeauPLTJMB11,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Fabien Peureux and
Bruno Legeard and
R{\'{e}}gis Tissot and
Jacques Julliand and
Pierre{-}Alain Masson and
Fabrice Bouquet},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Test Generation Using Symbolic Animation of Models},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-9},
doi = {10.1201/B11321-9},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/DadeauPLTJMB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/Dang11,
author = {Thao Dang},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Model-Based Testing of Hybrid Systems},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-15},
doi = {10.1201/B11321-15},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/Dang11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/GrossmannMWSSG11,
author = {J{\"{u}}rgen Gro{\ss}mann and
Philip Makedonski and
Hans{-}Werner Wiesbrock and
Jaroslav Svacina and
Ina Schieferdecker and
Jens Grabowski},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Model-Based X-in-the-Loop Testing},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-13},
doi = {10.1201/B11321-13},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/GrossmannMWSSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/GrunerW11,
author = {Stefan Gruner and
Bruce W. Watson},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Model-Based Passive Testing of Safety-Critical Components},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-17},
doi = {10.1201/B11321-17},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/GrunerW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/Huima11,
author = {Antti Huima},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Behavioral System Models versus Models of Testing Strategies in Functional
Test Generation},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-3},
doi = {10.1201/B11321-3},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/Huima11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/JaaskelainenTK11,
author = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
Tommi Takala and
Mika Katara},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Model-Based {GUI} Testing of Smartphone Applications},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-19},
doi = {10.1201/B11321-19},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/JaaskelainenTK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/MasticolaG11,
author = {Stephen P. Masticola and
Michael Gall},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Test Framework Architectures for Model-Based Embedded System Testing},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-4},
doi = {10.1201/B11321-4},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/MasticolaG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/OsterWES11,
author = {Sebastian Oster and
Andreas W{\"{u}}bbeke and
Gregor Engels and
Andy Sch{\"{u}}rr},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {A Survey of Model-Based Software Product Lines Testing},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-14},
doi = {10.1201/B11321-14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/OsterWES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/PapailiopoulouSP11,
author = {Virginia Papailiopoulou and
Besnik Seljimi and
Ioannis Parissis},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Automatic Testing of {LUSTRE/SCADE} Programs},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-8},
doi = {10.1201/B11321-8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/PapailiopoulouSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/PerezK11,
author = {Abel Marrero P{\'{e}}rez and
Stefan Kaiser},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Multilevel Testing for Embedded Systems},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-12},
doi = {10.1201/B11321-12},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/PerezK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/PierreF11,
author = {Laurence Pierre and
Luca Ferro},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Dynamic Verification of SystemC Transactional Models},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-23},
doi = {10.1201/B11321-23},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/PierreF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/PooreLEB11,
author = {Jesse H. Poore and
Lan Lin and
Robert Eschbach and
Thomas Bauer},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Automated Statistical Testing for Embedded Systems},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-6},
doi = {10.1201/B11321-6},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/PooreLEB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/SkruchPK11,
author = {Pawel Skruch and
Miroslaw Panek and
Bogdan Kowalczyk},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Model-Based Testing in Embedded Automotive Systems},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-20},
doi = {10.1201/B11321-20},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/SkruchPK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/Utting11,
author = {Mark Utting},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {How to Design Extended Finite State Machine Test Models in Java},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-7},
doi = {10.1201/B11321-7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/tf/11/Utting11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/VainKKMR11,
author = {Juri Vain and
Andres Kull and
Marko K{\"{a}}{\"{a}}ramees and
Maili Markvardt and
Kullo Raiend},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Reactive Testing of Nondeterministic Systems by Test Purpose-Directed
Tester},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-16},
doi = {10.1201/B11321-16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/VainKKMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/WeisslederS11,
author = {Stephan Wei{\ss}leder and
Holger Schlingloff},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {Automatic Model-Based Test Generation from {UML} State Machines},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-5},
doi = {10.1201/B11321-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/WeisslederS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/tf/11/ZanderS11,
author = {Justyna Zander and
Ina Schieferdecker},
editor = {Justyna Zander and
Ina Schieferdecker and
Pieter J. Mosterman},
title = {A Taxonomy of Model-Based Testing for Embedded Systems from Multiple
Industry Domains},
booktitle = {Model-Based Testing for Embedded Systems},
series = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
publisher = {{CRC} Press},
year = {2011},
url = {https://doi.org/10.1201/b11321-2},
doi = {10.1201/B11321-2},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/tf/11/ZanderS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-07 04:04 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
