default search action
Search dblp for Publications
export results for "toc:db/journals/ac/ac108.bht:"
@article{DBLP:journals/ac/AhmadBFL18, author = {Abbas Ahmad and Fabrice Bouquet and Elizabeta Fourneret and Bruno Legeard}, title = {Chapter One - Model-Based Testing for Internet of Things Systems}, journal = {Adv. Comput.}, volume = {108}, pages = {1--58}, year = {2018}, url = {https://doi.org/10.1016/bs.adcom.2017.11.002}, doi = {10.1016/BS.ADCOM.2017.11.002}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ac/AhmadBFL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ac/BanescuP18, author = {Sebastian Banescu and Alexander Pretschner}, title = {Chapter Five - {A} Tutorial on Software Obfuscation}, journal = {Adv. Comput.}, volume = {108}, pages = {283--353}, year = {2018}, url = {https://doi.org/10.1016/bs.adcom.2017.09.004}, doi = {10.1016/BS.ADCOM.2017.09.004}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ac/BanescuP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ac/KhalilD18, author = {Amal Khalil and Juergen Dingel}, title = {Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts}, journal = {Adv. Comput.}, volume = {108}, pages = {145--281}, year = {2018}, url = {https://doi.org/10.1016/bs.adcom.2017.09.003}, doi = {10.1016/BS.ADCOM.2017.09.003}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ac/KhalilD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ac/LonettiM18, author = {Francesca Lonetti and Eda Marchetti}, title = {Chapter Three - Emerging Software Testing Technologies}, journal = {Adv. Comput.}, volume = {108}, pages = {91--143}, year = {2018}, url = {https://doi.org/10.1016/bs.adcom.2017.11.003}, doi = {10.1016/BS.ADCOM.2017.11.003}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ac/LonettiM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ac/Memon18, author = {Atif M. Memon}, title = {Preface}, journal = {Adv. Comput.}, volume = {108}, pages = {vii--ix}, year = {2018}, url = {https://doi.org/10.1016/S0065-2458(18)30010-X}, doi = {10.1016/S0065-2458(18)30010-X}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ac/Memon18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ac/SiddiquiRG18, author = {Junaid Haroon Siddiqui and Affan Rauf and Maryam Abdul Ghafoor}, title = {Chapter Two - Advances in Software Model Checking}, journal = {Adv. Comput.}, volume = {108}, pages = {59--89}, year = {2018}, url = {https://doi.org/10.1016/bs.adcom.2017.11.001}, doi = {10.1016/BS.ADCOM.2017.11.001}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ac/SiddiquiRG18.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.