Search dblp for Publications

export results for "toc:db/journals/stvr/stvr3.bht:"

 download as .bib file

@article{DBLP:journals/stvr/CimitileCV93,
  author       = {Aniello Cimitile and
                  Ugo de Carlini and
                  Umberto Villano},
  title        = {Replay-Based Debugging of Occam Programs},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {2},
  pages        = {83--100},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030204},
  doi          = {10.1002/STVR.4370030204},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/CimitileCV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/DaveyHLPS93,
  author       = {Shaun Davey and
                  Dave Huxford and
                  John Liddiard and
                  Mark Powley and
                  Alan Smith},
  title        = {Metrics Collection in Code and Unit Test as Part of Continuous Quality
                  Improvement},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {3/4},
  pages        = {125--148},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030303},
  doi          = {10.1002/STVR.4370030303},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/DaveyHLPS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Girgis93,
  author       = {Moheb R. Girgis},
  title        = {Using Symbolic Execution and Data Flow Criteria to Aid Test Data Selection},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {2},
  pages        = {101--112},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030205},
  doi          = {10.1002/STVR.4370030205},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Girgis93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/GrahamH93,
  author       = {Dorothy R. Graham and
                  Bill Hetzel},
  title        = {Guest Editorial: EuroSTAR '93},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {3/4},
  pages        = {121--123},
  year         = {1993},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/GrahamH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/GrochtmannG93,
  author       = {Matthias Grochtmann and
                  Klaus Grimm},
  title        = {Classification Trees for Partition Testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {2},
  pages        = {63--82},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030203},
  doi          = {10.1002/STVR.4370030203},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/GrochtmannG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/GuptaS93,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Employing Static Information in the Generation of Test Cases},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {1},
  pages        = {29--48},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030104},
  doi          = {10.1002/STVR.4370030104},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/GuptaS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Holcombe93,
  author       = {Mike Holcombe},
  title        = {An Integrated Methodology for the Specification, Verification and
                  Testing of Systems},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {3/4},
  pages        = {149--163},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030304},
  doi          = {10.1002/STVR.4370030304},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Holcombe93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Karkaria93,
  author       = {Darius Karkaria},
  title        = {Independent Verification and Validation: a Life Cycle Engineering
                  Process for Quality Software, by R. O. Lewis, Wiley, 1992 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {1},
  pages        = {49--51},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030105},
  doi          = {10.1002/STVR.4370030105},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Karkaria93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Lockhart93,
  author       = {Robert Lockhart},
  title        = {Discrete Event Simulation in C, by Kevin Watkins, McGraw-Hill, 1993
                  (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {1},
  pages        = {51--53},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030106},
  doi          = {10.1002/STVR.4370030106},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Lockhart93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/RoperR93,
  author       = {Marc Roper and
                  Ab. Rashid bin Ab. Rahim},
  title        = {Software Testing Using Analysis and Design Based Techniques},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {3/4},
  pages        = {165--179},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030305},
  doi          = {10.1002/STVR.4370030305},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/RoperR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Semmens93,
  author       = {Lesley Semmens},
  title        = {Method Integration: Concepts and Case Studies, by Klaus Kronl{\"{o}}f
                  (Editor), Wiley, 1993 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {2},
  pages        = {113--114},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030206},
  doi          = {10.1002/STVR.4370030206},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Semmens93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/WelzelHB93,
  author       = {Dieter Welzel and
                  Hans{-}Ludwig Hausen and
                  J{\o}rgen B{\o}egh},
  title        = {A Metric-Based Software Evaluation Method},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {3/4},
  pages        = {181--194},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030306},
  doi          = {10.1002/STVR.4370030306},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/WelzelHB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/White93,
  author       = {Lee J. White},
  title        = {Editorial: Need for a Testing Metric - Error Detection Rate},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {2},
  pages        = {61--62},
  year         = {1993},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/White93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Woodward93,
  author       = {Martin R. Woodward},
  title        = {Editorial},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {1},
  pages        = {1--2},
  year         = {1993},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Woodward93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Xie93,
  author       = {Min Xie},
  title        = {Software Reliability Models: {A} Selected Annotated Bibliography},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {1},
  pages        = {3--28},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030103},
  doi          = {10.1002/STVR.4370030103},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Xie93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.