Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/issre/0001W95,
  author       = {Min Xie and
                  Claes Wohlin},
  title        = {An additive reliability model for the analysis of modular software
                  failure data},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {188--194},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497657},
  doi          = {10.1109/ISSRE.1995.497657},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/0001W95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AgrawalHLW95,
  author       = {Hiralal Agrawal and
                  Joseph R. Horgan and
                  Saul London and
                  W. Eric Wong},
  title        = {Fault localization using execution slices and dataflow tests},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {143--151},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497652},
  doi          = {10.1109/ISSRE.1995.497652},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AgrawalHLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AttouiH95,
  author       = {Ammar Attoui and
                  David R. C. Hill},
  title        = {A specification and validation method to improve concurrent systems
                  reliability based on object messaging and rewriting logic},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {387--392},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497682},
  doi          = {10.1109/ISSRE.1995.497682},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/AttouiH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Avizienis95,
  author       = {Algirdas Avizienis},
  title        = {Dependable computing depends on structured fault tolerance},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {158--168},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497654},
  doi          = {10.1109/ISSRE.1995.497654},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Avizienis95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Baziuk95,
  author       = {Walter Baziuk},
  title        = {{BNR/NORTEL:} path to improve product quality, reliability and customer
                  satisfaction},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {256--262},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497665},
  doi          = {10.1109/ISSRE.1995.497665},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Baziuk95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BelliD95,
  author       = {Fevzi Belli and
                  Javier Dreyer},
  title        = {Systems specification, analysis, and validation by means of timed
                  predicate/transition nets and logic programming},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {68--77},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497645},
  doi          = {10.1109/ISSRE.1995.497645},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BelliD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BelliJ95,
  author       = {Fevzi Belli and
                  Oliver Jack},
  title        = {A test coverage notion for logic programming},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497651},
  doi          = {10.1109/ISSRE.1995.497651},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BelliJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Buczilowski95,
  author       = {H. Buczilowski},
  title        = {Defect reduction in VSE-methodology and results},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {274--277},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497667},
  doi          = {10.1109/ISSRE.1995.497667},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Buczilowski95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CarmanDLY95,
  author       = {D. W. Carman and
                  Adrian A. Dolinsky and
                  Michael R. Lyu and
                  Jinsong S. Yu},
  title        = {Software reliability engineering study of a large-scale telecommunications
                  software system},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {350--359},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497677},
  doi          = {10.1109/ISSRE.1995.497677},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CarmanDLY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Carr95,
  author       = {Michael Carr},
  title        = {A data analysis and representation engine to support software reliability
                  engineering},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {368--374},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497679},
  doi          = {10.1109/ISSRE.1995.497679},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Carr95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/DjambazovP95,
  author       = {Krassimir Djambazov and
                  Peter T. Popov},
  title        = {The effect of testing on the reliability of single version and 1-out-of-2
                  software systems},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {219--228},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497661},
  doi          = {10.1109/ISSRE.1995.497661},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/DjambazovP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/EbertL95,
  author       = {Christof Ebert and
                  Thomas Liedtke},
  title        = {An integrated approach for criticality prediction},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {14--23},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497639},
  doi          = {10.1109/ISSRE.1995.497639},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/EbertL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Franklin95,
  author       = {Paul H. Franklin},
  title        = {An analysis of system level software availability during test},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {360--365},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497678},
  doi          = {10.1109/ISSRE.1995.497678},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Franklin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FrateGMP95,
  author       = {Fabio Del Frate and
                  Praerit Garg and
                  Aditya P. Mathur and
                  Alberto Pasquini},
  title        = {On the correlation between code coverage and software reliability},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {124--132},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497650},
  doi          = {10.1109/ISSRE.1995.497650},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/FrateGMP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GargPTT95,
  author       = {Sachin Garg and
                  Antonio Puliafito and
                  Mikl{\'{o}}s Telek and
                  Kishor S. Trivedi},
  title        = {Analysis of software rejuvenation using Markov Regenerative Stochastic
                  Petri Net},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {180--187},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497656},
  doi          = {10.1109/ISSRE.1995.497656},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/GargPTT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Goseva-Popstojanova95,
  author       = {Katerina Goseva{-}Popstojanova and
                  Aksenti Grnarov},
  title        = {Performability modeling of {N} version programming technique},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {209--218},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497660},
  doi          = {10.1109/ISSRE.1995.497660},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Goseva-Popstojanova95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HamiltonCL95,
  author       = {David Hamilton and
                  Richard Covington and
                  Alice T. Lee},
  title        = {An experience report on requirements reliability engineering using
                  formal methods},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {52--57},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497643},
  doi          = {10.1109/ISSRE.1995.497643},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HamiltonCL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HladyKLPPSSSV95,
  author       = {M. Hlady and
                  R. Kovacevic and
                  J. Jenny Li and
                  Barry R. Pekilis and
                  D. Prairie and
                  Tony Savor and
                  Rudolph E. Seviora and
                  D. A. Simser and
                  Alexandre Vorobiev},
  title        = {An approach to automatic detection of software failures},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {314--323},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497672},
  doi          = {10.1109/ISSRE.1995.497672},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HladyKLPPSSSV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HouKC95,
  author       = {Rong{-}Huei Hou and
                  Sy{-}Yen Kuo and
                  Yi{-}Ping Chang},
  title        = {Hyper-geometric distribution software reliability growth model with
                  imperfect debugging},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {195--200},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497658},
  doi          = {10.1109/ISSRE.1995.497658},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/HouKC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Jensen95,
  author       = {B. D. Jensen},
  title        = {A software reliability engineering success story. AT{\&}T's Definity
                  {PBX}},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {338--343},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497675},
  doi          = {10.1109/ISSRE.1995.497675},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Jensen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KhoshgoftaarAKG95,
  author       = {Taghi M. Khoshgoftaar and
                  Edward B. Allen and
                  Kalai Kalaichelvan and
                  Nishith Goel and
                  John P. Hudepohl and
                  Jean Mayrand},
  title        = {Detection of fault-prone program modules in a very large telecommunications
                  system},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {24--33},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497640},
  doi          = {10.1109/ISSRE.1995.497640},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KhoshgoftaarAKG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KimKK95,
  author       = {Eun Mi Kim and
                  Shinji Kusumoto and
                  Tohru Kikuno},
  title        = {An approach to safety and correctness verification of software design
                  specification},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {78--83},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497646},
  doi          = {10.1109/ISSRE.1995.497646},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KimKK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KropflE95,
  author       = {D. A. Kropfl and
                  Willa K. Ehrlich},
  title        = {Telecommunications network operations systems: experiences in software
                  reliability engineering},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {344--349},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497676},
  doi          = {10.1109/ISSRE.1995.497676},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/KropflE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Laprie95,
  author       = {Jean{-}Claude Laprie},
  title        = {Dependability of computer systems: concepts, limits, improvements},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {2--11},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497638},
  doi          = {10.1109/ISSRE.1995.497638},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Laprie95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LiM95,
  author       = {Michael Naixin Li and
                  Yashwant K. Malaiya},
  title        = {{ROBUST:} a next generation software reliability engineering tool},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {375--380},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497680},
  doi          = {10.1109/ISSRE.1995.497680},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LiM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LoeshGJWZ95,
  author       = {Robert E. Loesh and
                  Arthur B. Gosnell and
                  James D. Johannes and
                  Richard M. Wyskida and
                  Stephen E. Zutaut},
  title        = {{MICOM} IV{\&}V planning approach and experience involving software
                  reliability},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {330--336},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497674},
  doi          = {10.1109/ISSRE.1995.497674},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LoeshGJWZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Malaiya95,
  author       = {Yashwant K. Malaiya},
  title        = {Antirandom testing: getting the most out of black-box testing},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {86--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497647},
  doi          = {10.1109/ISSRE.1995.497647},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Malaiya95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ManganCVLN95,
  author       = {P. K. Mangan and
                  Bryant Cruse and
                  J. P. VanBlois and
                  Haim Levendel and
                  Jean{-}Michel Nogue},
  title        = {Software Reliability in COTS-Based Systems},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {154--157},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497653},
  doi          = {10.1109/ISSRE.1995.497653},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ManganCVLN95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MeyerLW95,
  author       = {John F. Meyer and
                  Bev Littlewood and
                  David Wright},
  title        = {Dependability of modular software in a multiuser operational environment},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {170--179},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497655},
  doi          = {10.1109/ISSRE.1995.497655},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MeyerLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MinoharaT95,
  author       = {Takashi Minohara and
                  Yoshihiro Tohma},
  title        = {Parameter estimation of hyper-geometric distribution software reliability
                  growth model by genetic algorithms},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {324--329},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497673},
  doi          = {10.1109/ISSRE.1995.497673},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MinoharaT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MrazHML95,
  author       = {Richard T. Mraz and
                  Adele E. Howe and
                  Anneliese von Mayrhauser and
                  Li Li},
  title        = {System testing with an {AI} planner},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {96--105},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497648},
  doi          = {10.1109/ISSRE.1995.497648},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MrazHML95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NaraNO95,
  author       = {Takamasa Nara and
                  Masahiro Nakata and
                  Akihiro Ooishi},
  title        = {Software reliability growth analysis: application of {NHPP} models
                  and its evaluation},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {250--255},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497664},
  doi          = {10.1109/ISSRE.1995.497664},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/NaraNO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/NikoraL95,
  author       = {Allen P. Nikora and
                  Michael R. Lyu},
  title        = {An experiment in determining software reliability model applicability},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {304--313},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497671},
  doi          = {10.1109/ISSRE.1995.497671},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/NikoraL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Ohba95,
  author       = {M. Ohba},
  title        = {Software Error Data Collection and Analysis in Industry},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {270--273},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497666},
  doi          = {10.1109/ISSRE.1995.497666},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Ohba95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/OuabdesselamP95,
  author       = {Farid Ouabdesselam and
                  Ioannis Parissis},
  title        = {Constructing operational profiles for synchronous critical software},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {286--293},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497669},
  doi          = {10.1109/ISSRE.1995.497669},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/OuabdesselamP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ParadkarT95,
  author       = {Amit M. Paradkar and
                  Kuo{-}Chung Tai},
  title        = {Test generation for Boolean expressions},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {106--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497649},
  doi          = {10.1109/ISSRE.1995.497649},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ParadkarT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Perez95,
  author       = {D. P{\'{e}}rez},
  title        = {Dependability of safety-critical systems: contribution of the synchronous
                  approach},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {296--301},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497670},
  doi          = {10.1109/ISSRE.1995.497670},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/Perez95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ShimaMT95,
  author       = {Kazuyuki Shima and
                  Ken{-}ichi Matsumoto and
                  Koji Torii},
  title        = {A new method for increasing the reliability of multiversion software
                  systems using software breeding},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {202--208},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497659},
  doi          = {10.1109/ISSRE.1995.497659},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ShimaMT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SzaboK95,
  author       = {Robert M. Szabo and
                  Taghi M. Khoshgoftaar},
  title        = {An assessment of software quality in a {C++} environment},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {240--249},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497663},
  doi          = {10.1109/ISSRE.1995.497663},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/SzaboK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TakagiTNSKK95,
  author       = {Yasunari Takagi and
                  Toshifumi Tanaka and
                  Naoki Niihara and
                  Keishi Sakamoto and
                  Shinji Kusumoto and
                  Tohru Kikuno},
  title        = {Analysis of review's effectiveness based on software metrics},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {34--39},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497641},
  doi          = {10.1109/ISSRE.1995.497641},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/TakagiTNSKK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ThakurIYL95,
  author       = {Anshuman Thakur and
                  Ravishankar K. Iyer and
                  Luke T. Young and
                  Inhwan Lee},
  title        = {Analysis of failures in the Tandem NonStop-UX Operating System},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {40--50},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497642},
  doi          = {10.1109/ISSRE.1995.497642},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ThakurIYL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/TraonR95,
  author       = {Yves Le Traon and
                  Chantal Robach},
  title        = {Towards a unified approach to the testability of co-designed systems},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {278--285},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497668},
  doi          = {10.1109/ISSRE.1995.497668},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/TraonR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ValleeGDG95,
  author       = {Fr{\'{e}}d{\'{e}}rique Vall{\'{e}}e and
                  Bertrand Gayet and
                  Henri Derriennic and
                  Gilbert Le Gall},
  title        = {M-elopee: a {CASE} tool for software reliability study},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {381--386},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497681},
  doi          = {10.1109/ISSRE.1995.497681},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/ValleeGDG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/VoasM95,
  author       = {Jeffrey M. Voas and
                  Keith W. Miller},
  title        = {Predicting software's minimum-time-to-hazard and mean-time-to-hazard
                  for rare input events},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {229--238},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497662},
  doi          = {10.1109/ISSRE.1995.497662},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/VoasM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/WaeselynckB95,
  author       = {H{\'{e}}l{\`{e}}ne Waeselynck and
                  Jean{-}Louis Boulanger},
  title        = {The role of testing in the {B} formal development process},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {58--67},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497644},
  doi          = {10.1109/ISSRE.1995.497644},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/WaeselynckB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/1995,
  title        = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/3555/proceeding},
  isbn         = {0-8186-7131-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics