Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/issre/AbreuRW12,
  author       = {Rui Abreu and
                  Andr{\'{e}} Riboira and
                  Franz Wotawa},
  title        = {Debugging Spreadsheets: {A} CSP-based Approach},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {159--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.31},
  doi          = {10.1109/ISSREW.2012.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AbreuRW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Agarwal12,
  author       = {Shelly Agarwal},
  title        = {Assessing the Performance of Networked Computer Based Systems},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {95},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.106},
  doi          = {10.1109/ISSREW.2012.106},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Agarwal12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Aktunc12,
  author       = {Ozgur Aktunc},
  title        = {Entropy Metrics for Agile Development Processes},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {7--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.36},
  doi          = {10.1109/ISSREW.2012.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Aktunc12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AlhazmiM12,
  author       = {Omar Hussain Alhazmi and
                  Yashwant K. Malaiya},
  title        = {Assessing Disaster Recovery Alternatives: On-Site, Colocation or Cloud},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {19--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.20},
  doi          = {10.1109/ISSREW.2012.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AlhazmiM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AlonsoBLWRT12,
  author       = {Javier Alonso and
                  Antonio Bovenzi and
                  Jinghui Li and
                  Yakun Wang and
                  Stefano Russo and
                  Kishor S. Trivedi},
  title        = {Software Rejuvenation: Do {IT} {\&} Telco Industries Use It?},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {299--304},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.96},
  doi          = {10.1109/ISSREW.2012.96},
  timestamp    = {Fri, 15 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AlonsoBLWRT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AntunesV12,
  author       = {Nuno Antunes and
                  Marco Vieira},
  title        = {Detecting Vulnerabilities in Service Oriented Architectures},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {134--139},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.33},
  doi          = {10.1109/ISSREW.2012.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AntunesV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BanerjeeMC12,
  author       = {Sean Banerjee and
                  Jesse Musgrove and
                  Bojan Cukic},
  title        = {Handling Language Variations in Open Source Bug Reporting Systems},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {325--330},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.85},
  doi          = {10.1109/ISSREW.2012.85},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BanerjeeMC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BanjiPGR12,
  author       = {Rossel Paul Banji and
                  Pandit Pattabhirama and
                  Mukul Gharpure and
                  Manjunath Ramachandra},
  title        = {Managing Automated End to End Testing in Bitwise Heterogenous Environments},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {123--128},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.39},
  doi          = {10.1109/ISSREW.2012.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BanjiPGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BarbieratoBGI12,
  author       = {Enrico Barbierato and
                  Andrea Bobbio and
                  Marco Gribaudo and
                  Mauro Iacono},
  title        = {Multiformalism to Support Software Rejuvenation Modeling},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {271--276},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.92},
  doi          = {10.1109/ISSREW.2012.92},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BarbieratoBGI12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BjornanderLGLC12,
  author       = {Stefan Bj{\"{o}}rnander and
                  Rikard Land and
                  Patrick J. Graydon and
                  Kristina Lundqvist and
                  Philippa Conmy},
  title        = {A Method to Formally Evaluate Safety Case Evidences against a System
                  Architecture Model},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {337--342},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.101},
  doi          = {10.1109/ISSREW.2012.101},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BjornanderLGLC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CarrozzaFFPR12,
  author       = {Gabriella Carrozza and
                  Mauro Faella and
                  Francesco Fucci and
                  Roberto Pietrantuono and
                  Stefano Russo},
  title        = {Integrating {MDT} in an Industrial Process in the Air Traffic Control
                  Domain},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {225--230},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.87},
  doi          = {10.1109/ISSREW.2012.87},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CarrozzaFFPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Chillarege12,
  author       = {Ram Chillarege},
  title        = {Targeting Specific Customer Satisfactions Issues with {ODC} Analysis},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {64},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.105},
  doi          = {10.1109/ISSREW.2012.105},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Chillarege12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChulaniRM12,
  author       = {Sunita Chulani and
                  Pete Rotella and
                  Bob Mullen},
  title        = {Software Reliability Classes: {A} Basis for Release and Product Quality
                  Expectations},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {37},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.103},
  doi          = {10.1109/ISSREW.2012.103},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ChulaniRM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CotroneoN12,
  author       = {Domenico Cotroneo and
                  Roberto Natella},
  title        = {Monitoring of Aging Software Systems Affected by Integer Overflows},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {265--270},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.91},
  doi          = {10.1109/ISSREW.2012.91},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CotroneoN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DardarGJLN12,
  author       = {Raghad Dardar and
                  Barbara Gallina and
                  Andreas Johnsen and
                  Kristina Lundqvist and
                  Mattias Nyberg},
  title        = {Industrial Experiences of Building a Safety Case in Compliance with
                  {ISO} 26262},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {349--354},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.86},
  doi          = {10.1109/ISSREW.2012.86},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DardarGJLN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Das12,
  author       = {Rajarshi Das},
  title        = {Assessing Product Quality through {PMR} Analysis: {A} Perspective},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {106--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.21},
  doi          = {10.1109/ISSREW.2012.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Das12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DingHWMC12,
  author       = {Baozeng Ding and
                  Yeping He and
                  Yanjun Wu and
                  Alex Miller and
                  John Criswell},
  title        = {Baggy Bounds with Accurate Checking},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {195--200},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.24},
  doi          = {10.1109/ISSREW.2012.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DingHWMC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FerlinW12,
  author       = {Antoine Ferlin and
                  Virginie Wiels},
  title        = {Combination of Static and Dynamic Analyses for the Certification of
                  Avionics Software},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {331--336},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.100},
  doi          = {10.1109/ISSREW.2012.100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/FerlinW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GanesanSGM12,
  author       = {Rajeshwari Ganesan and
                  Santonu Sarkar and
                  Geetika Goel and
                  Catello Di Martino},
  title        = {Measurements-Based Analysis of Workload-Error Relationship in a Production
                  SaaS Cloud},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {96--105},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.76},
  doi          = {10.1109/ISSREW.2012.76},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/GanesanSGM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Ghosh12,
  author       = {Krishnendu Ghosh},
  title        = {Formal Analysis of Device-Delay Error in User-Device Interaction under
                  Uncertainty},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {23--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.38},
  doi          = {10.1109/ISSREW.2012.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Ghosh12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GrottkeS12,
  author       = {Michael Grottke and
                  Benjamin Schleich},
  title        = {Cost Optimality in Testing and Rejuvenation},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {259--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.84},
  doi          = {10.1109/ISSREW.2012.84},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/GrottkeS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HaysH12,
  author       = {Mark Huffman Hays and
                  Jane Hayes},
  title        = {The Effect of Testability on Fault Proneness: {A} Case Study of the
                  Apache {HTTP} Server},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {153--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.48},
  doi          = {10.1109/ISSREW.2012.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HaysH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HeniaMR12,
  author       = {Rafik Henia and
                  Joseph Machrouh and
                  Laurent Rioux},
  title        = {Safety and Performance Co-engineering: New {MDE} Challenge for Critical
                  Applications Design?},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {15--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.44},
  doi          = {10.1109/ISSREW.2012.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HeniaMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HeniaRSV12,
  author       = {Rafik Henia and
                  Laurent Rioux and
                  Nicolas Sordon and
                  Thomas Vergnaud},
  title        = {Early Performance Estimation for Industrial Component-Based Design
                  of Reliable Software Defined Radio System},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {45--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.35},
  doi          = {10.1109/ISSREW.2012.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HeniaRSV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Jeong12,
  author       = {Oksoon Jeong},
  title        = {A Practical Extension of Pairwise Testing},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {116--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.11},
  doi          = {10.1109/ISSREW.2012.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Jeong12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JinzenjiHWT12,
  author       = {Kumi Jinzenji and
                  Takashi Hoshino and
                  Laurie A. Williams and
                  Kenji Takahashi},
  title        = {Metric-Based Quality Evaluations for Iterative Software Development
                  Approaches Like Agile},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {54--63},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.40},
  doi          = {10.1109/ISSREW.2012.40},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/JinzenjiHWT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JonssonLP12,
  author       = {Henrik Jonsson and
                  Stig Larsson and
                  Sasikumar Punnekkat},
  title        = {Agile Practices in Regulated Railway Software Development},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {355--360},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.80},
  doi          = {10.1109/ISSREW.2012.80},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/JonssonLP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KulaEYHFYI12,
  author       = {Raula Gaikovina Kula and
                  Carmago Cruz Ana E. and
                  Norihiro Yoshida and
                  Kazuki Hamasaki and
                  Kenji Fujiwara and
                  Xin Yang and
                  Hajimu Iida},
  title        = {Using Profiling Metrics to Categorise Peer Review Types in the Android
                  Project},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {146--151},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.50},
  doi          = {10.1109/ISSREW.2012.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KulaEYHFYI12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Kull12,
  author       = {Andres Kull},
  title        = {Automatic {GUI} Model Generation: State of the Art},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {207--212},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.23},
  doi          = {10.1109/ISSREW.2012.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Kull12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LauretWF12,
  author       = {Jimmy Lauret and
                  H{\'{e}}l{\`{e}}ne Waeselynck and
                  Jean{-}Charles Fabre},
  title        = {Detection of Interferences in Aspect-Oriented Programs Using Executable
                  Assertions},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {165--170},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.34},
  doi          = {10.1109/ISSREW.2012.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LauretWF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LaymanZBN12,
  author       = {Lucas Layman and
                  Marvin V. Zelkowitz and
                  Victor R. Basili and
                  Allen P. Nikora},
  title        = {Toward Baselining Software Anomalies in {NASA} Missions},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {13--14},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.49},
  doi          = {10.1109/ISSREW.2012.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LaymanZBN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Li12,
  author       = {Guoqi Li},
  title        = {Ontology-Based Reuse of Failure Modes for {FMEA:} Methodology and
                  Tool},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {17--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.42},
  doi          = {10.1109/ISSREW.2012.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Li12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LiangMSVZ12,
  author       = {Chen Liang and
                  Aniket Malatpure and
                  Mohammad Shafiei and
                  Marcelo Vago and
                  Tsan Zheng},
  title        = {Customer Scenario Focused End-to-End Testing},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {80--81},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.30},
  doi          = {10.1109/ISSREW.2012.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LiangMSVZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LiuMRZL12,
  author       = {Zheng Liu and
                  Wentao Mo and
                  Dangpei Ren and
                  Guang Zhao and
                  Mingye Liu},
  title        = {Bug Detection in Large-Scale Nuclear Power Software},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {47--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.26},
  doi          = {10.1109/ISSREW.2012.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LiuMRZL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LongGN12,
  author       = {E. Andrew Long and
                  Louis Gullo and
                  Allen P. Nikora},
  title        = {Applying Software Reliability Growth Models to {DOD} Systems},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {27--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.17},
  doi          = {10.1109/ISSREW.2012.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LongGN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MachidaXTM12,
  author       = {Fumio Machida and
                  Jianwen Xiang and
                  Kumiko Tadano and
                  Yoshiharu Maeno},
  title        = {Aging-Related Bugs in Cloud Computing Software},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {287--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.97},
  doi          = {10.1109/ISSREW.2012.97},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MachidaXTM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MalefakiKP12,
  author       = {Sonia Malefaki and
                  Vasilis P. Koutras and
                  Agapios N. Platis},
  title        = {Modeling Software Rejuvenation on a Redundant System Using Monte Carlo
                  Simulation},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {277--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.89},
  doi          = {10.1109/ISSREW.2012.89},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MalefakiKP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ManzoorMM12,
  author       = {Numan Manzoor and
                  Hussan Munir and
                  Misagh Moayyed},
  title        = {Comparison of Static Analysis Tools for Finding Concurrency Bugs},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {129--133},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.28},
  doi          = {10.1109/ISSREW.2012.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ManzoorMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Marijan12,
  author       = {Dusica Marijan},
  title        = {A Review of Two Experiences from Applying Model Based Testing in Practice},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {231--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.78},
  doi          = {10.1109/ISSREW.2012.78},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Marijan12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Martino12,
  author       = {Catello Di Martino},
  title        = {Software at Scale for Building Resilient Wireless Sensor Networks},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {25--26},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.46},
  doi          = {10.1109/ISSREW.2012.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Martino12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MatiasCM12,
  author       = {Rivalino Matias and
                  Bruno Evangelista Costa and
                  Autran Macedo},
  title        = {Monitoring Memory-Related Software Aging: An Exploratory Study},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {247--252},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.90},
  doi          = {10.1109/ISSREW.2012.90},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MatiasCM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MatosAAM12,
  author       = {R{\'{u}}bens de Souza Matos J{\'{u}}nior and
                  Jean Araujo and
                  Vandi Alves and
                  Paulo Romero Martins Maciel},
  title        = {Characterization of Software Aging Effects in Elastic Storage Mechanisms
                  for Private Clouds},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {293--298},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.82},
  doi          = {10.1109/ISSREW.2012.82},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MatosAAM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Mukkavilli12,
  author       = {Lakshmankumar Mukkavilli},
  title        = {Smart Unit Testing Framework},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {70--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.45},
  doi          = {10.1109/ISSREW.2012.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Mukkavilli12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NakamuraH12,
  author       = {Mitsuhiro Nakamura and
                  Tomoki Hamagami},
  title        = {A Software Quality Evaluation Method Using the Change of Source Code
                  Metrics},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {65--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.13},
  doi          = {10.1109/ISSREW.2012.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/NakamuraH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NatouriL12,
  author       = {Somia Natouri and
                  Chidung Lac},
  title        = {A Resilience Design Model for IMS-based Services},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.12},
  doi          = {10.1109/ISSREW.2012.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/NatouriL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NazierB12,
  author       = {Ramy Nazier and
                  Thomas Bauer},
  title        = {Automated Risk-Based Testing by Integrating Safety Analysis Information
                  into System Behavior Models},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {213--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.22},
  doi          = {10.1109/ISSREW.2012.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/NazierB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NusayrCR12,
  author       = {Amjad Nusayr and
                  Jonathan Cook and
                  Gholamali Rahnavard},
  title        = {{TEAMS:} {A} Special-Purpose {AOP} Framework for Runtime Monitoring},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {9--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.47},
  doi          = {10.1109/ISSREW.2012.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/NusayrCR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OkamuraD12,
  author       = {Hiroyuki Okamura and
                  Tadashi Dohi},
  title        = {Optimization of Opportunity-Based Software Rejuvenation Policy},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {283--286},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.93},
  doi          = {10.1109/ISSREW.2012.93},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/OkamuraD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PandeyJD12,
  author       = {Ajeet Kumar Pandey and
                  Jessy George Smith and
                  Vivek Diwanji},
  title        = {Cost Effective Reliability Centric Validation Model for Automotive
                  ECUs},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {38--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.29},
  doi          = {10.1109/ISSREW.2012.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/PandeyJD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PatuMY12,
  author       = {Vaise Patu and
                  Yutaka Matsuno and
                  Shuichiro Yamamoto},
  title        = {Application of D-Case to the Data-Upload Flow Diagram Scenario of
                  the Distributed E-Learning System Called {KISSEL}},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {307--312},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.99},
  doi          = {10.1109/ISSREW.2012.99},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/PatuMY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PaulitschRSB12,
  author       = {Michael Paulitsch and
                  Rupert Reiger and
                  Lorenzo Strigini and
                  Robin E. Bloomfield},
  title        = {Evidence-Based Security in Aerospace: From Safety to Security and
                  Back Again},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {21--22},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.37},
  doi          = {10.1109/ISSREW.2012.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/PaulitschRSB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PerezRA12,
  author       = {Alexandre Perez and
                  Andr{\'{e}} Riboira and
                  Rui Abreu},
  title        = {A Topology-Based Model for Estimating the Diagnostic Efficiency of
                  Statistics-Based Approaches},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {171--176},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.15},
  doi          = {10.1109/ISSREW.2012.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/PerezRA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ReichenbachECR12,
  author       = {Frank Reichenbach and
                  Jan Endresen and
                  Mohammad M. R. Chowdhury and
                  Judith E. Y. Rosseb{\o}},
  title        = {A Pragmatic Approach on Combined Safety and Security Risk Analysis},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {239--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.98},
  doi          = {10.1109/ISSREW.2012.98},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ReichenbachECR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/RotellaCP12,
  author       = {Pete Rotella and
                  Sunita Chulani and
                  Satyabrata Pradhan},
  title        = {Quality Playbook: Ensuring Release to Release Improvement},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {53},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.104},
  doi          = {10.1109/ISSREW.2012.104},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/RotellaCP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SalkhamPS12,
  author       = {As'ad Salkham and
                  Antonio Pecchia and
                  Nuno Silva},
  title        = {Assessing {AUTOSAR} Systems Using Fault Injection},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {11--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.19},
  doi          = {10.1109/ISSREW.2012.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SalkhamPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SasakiMKM12,
  author       = {Yusuke Sasaki and
                  Yoshiharu Maeda and
                  Kenichi Kobayashi and
                  Akihiko Matsuo},
  title        = {Applying Test Data Generation Using {SMT} Solver to {COBOL}},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {82},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.18},
  doi          = {10.1109/ISSREW.2012.18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/SasakiMKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Shooman12,
  author       = {Martin L. Shooman},
  title        = {Bohrbugs, Mandelbugs, Exhaustive Testing and Unintended Automobile
                  Acceleration},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {5--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.25},
  doi          = {10.1109/ISSREW.2012.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Shooman12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SilvaL12,
  author       = {Nuno Silva and
                  Rui Lopes},
  title        = {Overview of 10 Years of {ISVV} Findings in Safety-Critical Systems},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {83},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.55},
  doi          = {10.1109/ISSREW.2012.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SilvaL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SilvaL12a,
  author       = {Nuno Silva and
                  Rui Lopes},
  title        = {Independent Assessment of Safety-Critical Systems: We Bring Data!},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {84},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.56},
  doi          = {10.1109/ISSREW.2012.56},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SilvaL12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SilvaL12b,
  author       = {Nuno Silva and
                  Rui Lopes},
  title        = {10 Years of {ISVV:} What's Next?},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {361--366},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.102},
  doi          = {10.1109/ISSREW.2012.102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SilvaL12b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SinghVT12,
  author       = {Lalit Kumar Singh and
                  Gopika Vinod and
                  Anil Kumar Tripathi},
  title        = {Modeling and Prediction of Performability of Safety Critical Computer
                  Based Systems Using Petri Nets},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {85--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.41},
  doi          = {10.1109/ISSREW.2012.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SinghVT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SoderbergV12,
  author       = {Andreas S{\"{o}}derberg and
                  Benjamin Vedder},
  title        = {Composable Safety-Critical Systems Based on Pre-certified Software
                  Components},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {343--348},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.83},
  doi          = {10.1109/ISSREW.2012.83},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SoderbergV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TakamaPMY12,
  author       = {Shota Takama and
                  Vaise Patu and
                  Yutaka Matsuno and
                  Shuichiro Yamamoto},
  title        = {A Proposal on a Method for Reviewing Operation Manuals of Supercomputer},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {305--306},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.77},
  doi          = {10.1109/ISSREW.2012.77},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/TakamaPMY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TannoZH12,
  author       = {Haruto Tanno and
                  Xiaojing Zhang and
                  Takashi Hoshino},
  title        = {Design-Model-Based Test Data Generation for Database Applications},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {201--206},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.32},
  doi          = {10.1109/ISSREW.2012.32},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/TannoZH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TiadjioJ12,
  author       = {Adrien Mouaffo Tiadjio and
                  Kavyashree Jamboti},
  title        = {Requirements and Evaluation of Safety Analysis Techniques for Ambient
                  Assisted Living Systems},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {319--324},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.95},
  doi          = {10.1109/ISSREW.2012.95},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/TiadjioJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/VishalKKM12,
  author       = {Vivek Vishal and
                  Mehmet Kovacioglu and
                  Rachid Kherazi and
                  Mohammad Reza Mousavi},
  title        = {Integrating Model-Based and Constraint-Based Testing Using SpecExplorer},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {219--224},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.88},
  doi          = {10.1109/ISSREW.2012.88},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/VishalKKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WakamoriISK12,
  author       = {Takuma Wakamori and
                  Masahiro Ide and
                  Midori Sugaya and
                  Kimio Kuramitsu},
  title        = {Reconfigurable Scripting Language with Programming Risk},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {316--318},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.94},
  doi          = {10.1109/ISSREW.2012.94},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/WakamoriISK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Wong12,
  author       = {W. Eric Wong},
  title        = {Program Debugging with Effective Software Fault Localization (Invited
                  Talk)},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {152},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.54},
  doi          = {10.1109/ISSREW.2012.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Wong12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/XiangMTYSM12,
  author       = {Jianwen Xiang and
                  Fumio Machida and
                  Kumiko Tadano and
                  Kazuo Yanoo and
                  Wei Sun and
                  Yoshiharu Maeno},
  title        = {Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {3--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.27},
  doi          = {10.1109/ISSREW.2012.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/XiangMTYSM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/YoanSK12,
  author       = {Motoki Yoan and
                  Midori Sugaya and
                  Kimio Kuramitsu},
  title        = {A Study of Converting Risk to Assurance Case},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {313--315},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.79},
  doi          = {10.1109/ISSREW.2012.79},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/YoanSK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhangCJZ12,
  author       = {Yunqian Zhang and
                  Lin Chen and
                  Bo Jiang and
                  Zhenyu Zhang},
  title        = {Wielding Statistical Fault Localization Statistically},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {189--194},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.51},
  doi          = {10.1109/ISSREW.2012.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ZhangCJZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhangS12,
  author       = {Yiji Zhang and
                  Ra{\'{u}}l A. Santelices},
  title        = {Predicting Data Dependences for Slice Inspection Prioritization},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {177--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.43},
  doi          = {10.1109/ISSREW.2012.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ZhangS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhengASW12,
  author       = {Feng Zheng and
                  Jun Ai and
                  Jingwei Shang and
                  Jinhui Wang},
  title        = {Accelerate the Software Software Reliability Testing Execution Process
                  with Fuzzy Discrimination},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {140--145},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.16},
  doi          = {10.1109/ISSREW.2012.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ZhengASW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhengXQ12,
  author       = {Pengfei Zheng and
                  Qingguo Xu and
                  Yong Qi},
  title        = {An Advanced Methodology for Measuring and Characterizing Software
                  Aging},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {253--258},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.81},
  doi          = {10.1109/ISSREW.2012.81},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ZhengXQ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhouWJG12,
  author       = {Hongbo Zhou and
                  Qian Wang and
                  Dahai Jin and
                  Yunzhan Gong},
  title        = {A Static Detecting Model for Invalid Arithmetic Operation Based on
                  Alias Analysis},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  pages        = {183--188},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSREW.2012.14},
  doi          = {10.1109/ISSREW.2012.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ZhouWJG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2012w,
  title        = {23rd {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6403648/proceeding},
  isbn         = {978-1-4673-5048-8},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/2012w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics