Search dblp for Publications

export results for "toc:db/conf/issre/issre2017w.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issre/AmanAYK17,
  author       = {Hirohisa Aman and
                  Sousuke Amasaki and
                  Tomoyuki Yokogawa and
                  Minoru Kawahara},
  title        = {Empirical Study of Abnormalities in Local Variables of Change-Prone
                  Java Methods},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {214--221},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.37},
  doi          = {10.1109/ISSREW.2017.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AmanAYK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AndrzejakEG17,
  author       = {Artur Andrzejak and
                  Felix Eichler and
                  Mohammad Ghanavati},
  title        = {Detection of Memory Leaks in {C/C++} Code via Machine Learning},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {252--258},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.72},
  doi          = {10.1109/ISSREW.2017.72},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AndrzejakEG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AngPDA17,
  author       = {Aaron Ang and
                  Alexandre Perez and
                  Arie van Deursen and
                  Rui Abreu},
  title        = {Revisiting the Practical Use of Automated Software Fault Localization
                  Techniques},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {175--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.68},
  doi          = {10.1109/ISSREW.2017.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AngPDA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ArdilaG17,
  author       = {Julieth Patricia Castellanos Ardila and
                  Barbara Gallina},
  title        = {Towards Efficiently Checking Compliance Against Automotive Security
                  and Safety Standards},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {317--324},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.33},
  doi          = {10.1109/ISSREW.2017.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ArdilaG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Averlant17,
  author       = {Guillaume Averlant},
  title        = {Multi-level Isolation for Android Applications},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {128--131},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.61},
  doi          = {10.1109/ISSREW.2017.61},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Averlant17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BarnierAMJ17,
  author       = {Camille Barnier and
                  Oum{-}El{-}Kheir Aktouf and
                  Annabelle Mercier and
                  Jean{-}Paul Jamont},
  title        = {Toward an Embedded Multi-agent System Methodology and Positioning
                  on Testing},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {239--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.57},
  doi          = {10.1109/ISSREW.2017.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BarnierAMJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BeierleKV17,
  author       = {Nico Beierle and
                  Peter M. Kruse and
                  Tanja E. J. Vos},
  title        = {GUI-Profiling for Performance and Coverage Analysis},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {28--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.78},
  doi          = {10.1109/ISSREW.2017.78},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BeierleKV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BiondiDL17,
  author       = {Fabrizio Biondi and
                  Fran{\c{c}}ois D{\'{e}}chelle and
                  Axel Legay},
  title        = {{MASSE:} Modular Automated Syntactic Signature Extraction},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {96--97},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.74},
  doi          = {10.1109/ISSREW.2017.74},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BiondiDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BowesCHPS17,
  author       = {David Bowes and
                  Steve Counsell and
                  Tracy Hall and
                  Jean Petric and
                  Thomas Shippey},
  title        = {Getting Defect Prediction Into Industrial Practice: the {ELFF} Tool},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {44--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.11},
  doi          = {10.1109/ISSREW.2017.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BowesCHPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Carlan17,
  author       = {Carmen C{\^{a}}rlan},
  title        = {Living Safety Arguments for Open Systems},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {120--123},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.58},
  doi          = {10.1109/ISSREW.2017.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Carlan17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Chillarege17,
  author       = {Ram Chillarege},
  title        = {Diagnosing Development Turbulence in Agile Processes},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {52--55},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.27},
  doi          = {10.1109/ISSREW.2017.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Chillarege17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Chillarege17a,
  author       = {Ram Chillarege},
  title        = {Trigger and Impact Profiles Enable Outcome Focused Defect Discovery
                  to Manage Software Quality},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {245--251},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.71},
  doi          = {10.1109/ISSREW.2017.71},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Chillarege17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChowdhuryLKLSW17,
  author       = {Thomas Chowdhury and
                  Chung{-}Wei Lin and
                  BaekGyu Kim and
                  Mark Lawford and
                  Shinichi Shiraishi and
                  Alan Wassyng},
  title        = {Principles for Systematic Development of an Assurance Case Template
                  from {ISO} 26262},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {69--72},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.14},
  doi          = {10.1109/ISSREW.2017.14},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/ChowdhuryLKLSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Chren17,
  author       = {Stanislav Chren},
  title        = {Towards Multi-layered Reliability Analysis in Smart Grids},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {116--119},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.67},
  doi          = {10.1109/ISSREW.2017.67},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Chren17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CioroaicaJKPUDM17,
  author       = {Emilia Cioroaica and
                  Jasmin Jahic and
                  Thomas Kuhn and
                  Christian Peper and
                  Denis Uecker and
                  Christoph Dropmann and
                  Peter Munk and
                  Rakshith Amarnath and
                  Eike Thaden},
  title        = {Accelerated Simulated Fault Injection Testing},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {228--233},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.35},
  doi          = {10.1109/ISSREW.2017.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CioroaicaJKPUDM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CounsellHSBTM17,
  author       = {Steve Counsell and
                  Tracy Hall and
                  Thomas Shippey and
                  David Bowes and
                  Amjed Tahir and
                  Stephen G. MacDonell},
  title        = {Assert Use and Defectiveness in Industrial Code},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {20--23},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.20},
  doi          = {10.1109/ISSREW.2017.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CounsellHSBTM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DaiHMKASESB17,
  author       = {Siyuan Dai and
                  Joseph Hite and
                  Takato Masuda and
                  Yusuke Kashiba and
                  Nikos Ar{\'{e}}chiga and
                  Shinichi Shiraishi and
                  Scott Eisele and
                  Jason Scott and
                  Ted Bapty},
  title        = {Control Parameter Optimization for Autonomous Vehicle Software Using
                  Virtual Prototyping},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {73--76},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.15},
  doi          = {10.1109/ISSREW.2017.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DaiHMKASESB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DouthwaiteK17,
  author       = {Mark Douthwaite and
                  Tim Kelly},
  title        = {Establishing Verification and Validation Objectives for Safety-Critical
                  Bayesian Networks},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {302--309},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.60},
  doi          = {10.1109/ISSREW.2017.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DouthwaiteK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DuZXY17,
  author       = {Xiaoting Du and
                  Zheng Zheng and
                  Guanping Xiao and
                  Beibei Yin},
  title        = {The Automatic Classification of Fault Trigger Based Bug Report},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {259--265},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.28},
  doi          = {10.1109/ISSREW.2017.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DuZXY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DuffauGB17,
  author       = {Cl{\'{e}}ment Duffau and
                  Bartosz Grabiec and
                  Mireille Blay{-}Fornarino},
  title        = {Towards Embedded System Agile Development Challenging Verification,
                  Validation and Accreditation: Application in a Healthcare Company},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {82--85},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.8},
  doi          = {10.1109/ISSREW.2017.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DuffauGB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FalciniL17,
  author       = {Fabio Falcini and
                  Giuseppe Lami},
  title        = {Challenges in Certification of Autonomous Driving Systems},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {286--293},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.45},
  doi          = {10.1109/ISSREW.2017.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/FalciniL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Faria17,
  author       = {Jose M. Faria},
  title        = {Non-determinism and Failure Modes in Machine Learning},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {310--316},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.64},
  doi          = {10.1109/ISSREW.2017.64},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Faria17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FrohlichS17,
  author       = {Joachim Fr{\"{o}}hlich and
                  Christoph St{\"{u}}ckj{\"{u}}rgen},
  title        = {Reliable Inspection of an Autonomous System At System Runtime with
                  Built-in Data Probes},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {9--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.24},
  doi          = {10.1109/ISSREW.2017.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/FrohlichS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GallinaN17,
  author       = {Barbara Gallina and
                  Mattias Nyberg},
  title        = {Pioneering the Creation of {ISO} 26262-Compliant OSLC-Based Safety
                  Cases},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {325--330},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.41},
  doi          = {10.1109/ISSREW.2017.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/GallinaN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Gantet17,
  author       = {Anais Gantet},
  title        = {CrashOS: Hypervisor Testing Tool},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {15},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.34},
  doi          = {10.1109/ISSREW.2017.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Gantet17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GarciaM17,
  author       = {R{\'{e}}mi Garcia and
                  Paolo Modesti},
  title        = {An {IDE} for the Design, Verification and Implementation of Security
                  Protocols},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {157--163},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.69},
  doi          = {10.1109/ISSREW.2017.69},
  timestamp    = {Thu, 04 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/GarciaM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Goncalves17,
  author       = {Charles F. Gon{\c{c}}alves},
  title        = {Benchmarking the Security of Virtualization Infrastructures: Motivation
                  and Approach},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {100--103},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.70},
  doi          = {10.1109/ISSREW.2017.70},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Goncalves17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HauerPSG17,
  author       = {Florian Hauer and
                  Alexander Pretschner and
                  Maximilian Schmitt and
                  Markus Groetsch},
  title        = {Industrial Evaluation of Search-Based Test Generation Techniques for
                  Control Systems},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {5--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.10},
  doi          = {10.1109/ISSREW.2017.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HauerPSG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Hofer17,
  author       = {Birgit Hofer},
  title        = {Removing Coincidental Correctness in Spectrum-Based Fault Localization
                  for Circuit and Spreadsheet Debugging},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {199--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.18},
  doi          = {10.1109/ISSREW.2017.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Hofer17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HoferNW17,
  author       = {Birgit Hofer and
                  Iulia Nica and
                  Franz Wotawa},
  title        = {Qualitative Deviation Models for Spreadsheet Debugging},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {191--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.17},
  doi          = {10.1109/ISSREW.2017.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HoferNW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HondaWFTMS17,
  author       = {Kiyoshi Honda and
                  Hironori Washizaki and
                  Yoshiaki Fukazawa and
                  Masahiro Taga and
                  Akira Matsuzaki and
                  Takayoshi Suzuki},
  title        = {Empirical Study on Recognition of Project Situations by Monitoring
                  Application Results of Software Reliability Growth Model},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {169--174},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.53},
  doi          = {10.1109/ISSREW.2017.53},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HondaWFTMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HuiHCLN17,
  author       = {Zhanwei Hui and
                  Song Huang and
                  Tsong Yueh Chen and
                  Man Fai Lau and
                  Sebastian Ng},
  title        = {Identifying Failed Test Cases Through Metamorphic Testing},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {90--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.23},
  doi          = {10.1109/ISSREW.2017.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HuiHCLN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ImparatoMSV17,
  author       = {Alfredo Imparato and
                  Raffaele Rodolfo Maietta and
                  Stefano Scala and
                  Vladimiro Vacca},
  title        = {A Comparative Study of Static Analysis Tools for {AUTOSAR} Automotive
                  Software Components Development},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {65--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.21},
  doi          = {10.1109/ISSREW.2017.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ImparatoMSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/IoualalenMN17,
  author       = {Arnault Ioualalen and
                  Matthieu Martel and
                  Nicolas Normand},
  title        = {An Overview of Numalis Software Suite for Reliable Numerical Computation},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {1--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.40},
  doi          = {10.1109/ISSREW.2017.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/IoualalenMN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JagadeesanM17,
  author       = {Lalita Jategaonkar Jagadeesan and
                  Veena B. Mendiratta},
  title        = {Analytics-Enhanced Automated Code Verification for Dependability of
                  Software-Defined Networks},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {139--145},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.42},
  doi          = {10.1109/ISSREW.2017.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/JagadeesanM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Jakse17,
  author       = {Rapha{\"{e}}l Jakse},
  title        = {Interactive Runtime Verification - {A} Ph.D to Improve Bug Detection
                  and Understanding},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {124--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.44},
  doi          = {10.1109/ISSREW.2017.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Jakse17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JumonjiY17,
  author       = {Yuto Jumonji and
                  Hiroshi Yamada},
  title        = {Efficient Software Rejuvenation of In-memory Key-Value Storages},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {280--285},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.54},
  doi          = {10.1109/ISSREW.2017.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/JumonjiY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KakimotoSUU17,
  author       = {Kazuki Kakimoto and
                  Kensuke Sasaki and
                  Hiroki Umeda and
                  Yasushi Ueda},
  title        = {IV{\&}V Case: Empirical Study of Software Independent Verification
                  and Validation Based on Safety Case},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {32--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.29},
  doi          = {10.1109/ISSREW.2017.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KakimotoSUU17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Khalil17,
  author       = {Hoda Khalil},
  title        = {Finite State Machine Testing Complete Round-Trip Versus Transition
                  Trees: On the Road of Finding the Most Effective Criterion},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {108--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.51},
  doi          = {10.1109/ISSREW.2017.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Khalil17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KimPL17,
  author       = {Taehyoun Kim and
                  Samjoon Park and
                  Taeho Lee},
  title        = {Applying software reliability engineering process to software development
                  in Korea defense industry},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {81},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.26},
  doi          = {10.1109/ISSREW.2017.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KimPL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Krach17,
  author       = {Sebastian Dieter Krach},
  title        = {Model-Based Architecture Robustness Analysis for Software-Intensive
                  Autonomous Systems},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {104--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.39},
  doi          = {10.1109/ISSREW.2017.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Krach17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LeeKKJ17,
  author       = {Sung{-}Hoon Lee and
                  Seung{-}Hyun Kim and
                  Soo{-}Hyung Kim and
                  Seung{-}Hun Jin},
  title        = {Appwrapping Providing Fine-Grained Security Policy Enforcement Per
                  Method Unit in Android},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {36--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.25},
  doi          = {10.1109/ISSREW.2017.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LeeKKJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LiTH17,
  author       = {Tianyao Li and
                  Shigeru Tsubota and
                  Koji Hirono},
  title        = {Gherkin Syntax Extension for Parameterization of Network Switch Configurations
                  in Test Specification},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {12--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.30},
  doi          = {10.1109/ISSREW.2017.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LiTH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MajdT17,
  author       = {Amin Majd and
                  Elena Troubitsyna},
  title        = {Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring
                  in Controlling Swarms of Drones},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {94--95},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.63},
  doi          = {10.1109/ISSREW.2017.63},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MajdT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MalatpureQH17,
  author       = {Aniket Malatpure and
                  Faraz Qadri and
                  John Haskin},
  title        = {Experience Report: Testing Private Cloud Reliability Using a Public
                  Cloud Validation SaaS},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {56},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.38},
  doi          = {10.1109/ISSREW.2017.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MalatpureQH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MandalJDN17,
  author       = {Avijit Mandal and
                  Raoul Jetley and
                  Meenakshi D'Souza and
                  Sreeja Nair},
  title        = {A Static Analyzer for Industrial Robotic Applications},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {24--27},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.13},
  doi          = {10.1109/ISSREW.2017.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MandalJDN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MendirattaT17,
  author       = {Veena B. Mendiratta and
                  Marina Thottan},
  title        = {Rich Network Anomaly Detection Using Multivariate Data},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {48--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.36},
  doi          = {10.1109/ISSREW.2017.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MendirattaT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Michard17,
  author       = {Isabelle Michard},
  title        = {Why Securing Your Code Architecture: Detection of Architectural Vulnerabilities
                  in Industrial Products},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {98--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.73},
  doi          = {10.1109/ISSREW.2017.73},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Michard17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NakagawaHMT17,
  author       = {Hiroyuki Nakagawa and
                  Toshinobu Hasegawa and
                  Shori Matsui and
                  Tatsuhiro Tsuchiya},
  title        = {Visualization of Specification Coverage: {A} Case Study of a Web Application
                  Development in Industry},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {77--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.19},
  doi          = {10.1109/ISSREW.2017.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/NakagawaHMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkumotoAM17,
  author       = {Kazuhira Okumoto and
                  Abhaya Asthana and
                  Rashid Mijumbi},
  title        = {{BRACE:} Cloud-Based Software Reliability Assurance},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {57--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.48},
  doi          = {10.1109/ISSREW.2017.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/OkumotoAM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ParkKLN17,
  author       = {Samjoon Park and
                  Taehyoun Kim and
                  Taeho Lee and
                  Sungkyu Noh},
  title        = {{SIRIUS:} Systematic Investigation for Reliability Improvement Upon
                  Software},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {86--87},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.55},
  doi          = {10.1109/ISSREW.2017.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ParkKLN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/QiuZC17,
  author       = {Kun Qiu and
                  Zheng Zheng and
                  Tsong Yueh Chen},
  title        = {Testing Proportional-Integral-Derivative {(PID)} Controller with Metamorphic
                  Testing},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {88--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.47},
  doi          = {10.1109/ISSREW.2017.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/QiuZC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ReschP17,
  author       = {Stefan Resch and
                  Michael Paulitsch},
  title        = {Using {TLA+} in the Development of a Safety-Critical Fault-Tolerant
                  Middleware},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {146--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.43},
  doi          = {10.1109/ISSREW.2017.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ReschP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Robert17,
  author       = {Cl{\'{e}}ment Robert},
  title        = {First Insights into Testing Autonomous Robot in Virtual Worlds},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {112--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.59},
  doi          = {10.1109/ISSREW.2017.59},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Robert17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/RotellaC17,
  author       = {Pete Rotella and
                  Sunita Chulani},
  title        = {{SRC} Ratio Method: Benchmarking Software Reliability},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {61--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.75},
  doi          = {10.1109/ISSREW.2017.75},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/RotellaC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SagarduiEAANM17,
  author       = {Goiuria Sagardui and
                  Leire Etxeberria and
                  Joseba Andoni Agirre and
                  Aitor Arrieta and
                  Carlos Fernando Nicol{\'{a}}s and
                  Jose{-}Maria Martin},
  title        = {A Configurable Validation Environment for Refactored Embedded Software:
                  An Application to the Vertical Transport Domain},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {16--19},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.9},
  doi          = {10.1109/ISSREW.2017.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SagarduiEAANM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SalmeronLGG17,
  author       = {Alberto Salmer{\'{o}}n and
                  Leticia Lavado and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino G{\'{o}}mez},
  title        = {Adding Correctness Checking to Test Automation Platform},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {132--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.56},
  doi          = {10.1109/ISSREW.2017.56},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SalmeronLGG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/StankaitisI17,
  author       = {Paulius Stankaitis and
                  Alexei Iliasov},
  title        = {Safety Verification of Modern Railway Signalling with the SafeCap
                  Platform},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {153--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.66},
  doi          = {10.1109/ISSREW.2017.66},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/StankaitisI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/StieberHW17,
  author       = {Harald A. Stieber and
                  Linghuan Hu and
                  W. Eric Wong},
  title        = {Estimation of the Total Number of Software Failures from Test Data
                  and Code Coverage: {A} Bayesian Approach},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {234--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.49},
  doi          = {10.1109/ISSREW.2017.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/StieberHW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/StratisC17,
  author       = {Athanasios Stratis and
                  Adnan Causevic},
  title        = {A Practical Approach Towards Validating {HIL} Simulation of a Safety-Critical
                  System},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {40--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.22},
  doi          = {10.1109/ISSREW.2017.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/StratisC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SukhwaniMTR17,
  author       = {Harish Sukhwani and
                  Rivalino Matias and
                  Kishor S. Trivedi and
                  Andy J. Rindos},
  title        = {Monitoring and Mitigating Software Aging on {IBM} Cloud Controller
                  System},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {266--272},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.65},
  doi          = {10.1109/ISSREW.2017.65},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SukhwaniMTR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TrefferU17,
  author       = {Arian Treffer and
                  Matthias Uflacker},
  title        = {Back-in-Time Debugging in Heterogeneous Software Stacks},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {183--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.62},
  doi          = {10.1109/ISSREW.2017.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/TrefferU17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/UedaIHIM17,
  author       = {Yuki Ueda and
                  Akinori Ihara and
                  Toshiki Hirao and
                  Takashi Ishio and
                  Kenichi Matsumoto},
  title        = {How is {IF} Statement Fixed Through Code Review? {A} Case Study of
                  Qt Project},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {207--213},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.32},
  doi          = {10.1109/ISSREW.2017.32},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/UedaIHIM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/VoraN17,
  author       = {Mehul Nalin Vora and
                  Manoj Karunakaran Nambiar},
  title        = {Workload Dependent Fault Analysis},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {222--227},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.31},
  doi          = {10.1109/ISSREW.2017.31},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/VoraN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WengZLXYL17,
  author       = {Caisheng Weng and
                  Dongdong Zhao and
                  Liping Lu and
                  Jianwen Xiang and
                  Chunhui Yang and
                  Dong Li},
  title        = {A Rejuvenation Strategy in Android},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {273--279},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.50},
  doi          = {10.1109/ISSREW.2017.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/WengZLXYL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WeyukerO17,
  author       = {Elaine J. Weyuker and
                  Thomas J. Ostrand},
  title        = {Experiences with Academic-Industrial Collaboration on Empirical Studies
                  of Software Systems},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {164--168},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.12},
  doi          = {10.1109/ISSREW.2017.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/WeyukerO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WolschkeKRL17,
  author       = {Christian Wolschke and
                  Thomas Kuhn and
                  H. Dieter Rombach and
                  Peter Liggesmeyer},
  title        = {Observation Based Creation of Minimal Test Suites for Autonomous Vehicles},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {294--301},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.46},
  doi          = {10.1109/ISSREW.2017.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/WolschkeKRL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Wotawa17,
  author       = {Franz Wotawa},
  title        = {The Future of Automated Debugging - Focus on the Niches First},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {92--93},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.16},
  doi          = {10.1109/ISSREW.2017.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Wotawa17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/XuLZ17,
  author       = {Biao Xu and
                  Minyan Lu and
                  Dajian Zhang},
  title        = {A Layered Argument Strategy for Software Security Case Development},
  booktitle    = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  pages        = {331--338},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSREW.2017.52},
  doi          = {10.1109/ISSREW.2017.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/XuLZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2017w,
  title        = {2017 {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Toulouse, France, October 23-26, 2017},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8108700/proceeding},
  isbn         = {978-1-5386-2387-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/2017w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics