Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/stvr/Bache97,
  author       = {Richard Bache},
  title        = {The Effect of Fault Size on Testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {3},
  pages        = {139--152},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199709)7:3\<139::AID-STVR136\>3.0.CO;2-R},
  doi          = {10.1002/(SICI)1099-1689(199709)7:3\<139::AID-STVR136\>3.0.CO;2-R},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Bache97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Bache97a,
  author       = {Richard Bache},
  title        = {Reliability, Quality and Safety of Software-intensive Systems, by
                  Dimitris Gritzalis (Editor), Chapman and Hall, 1997 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {3},
  pages        = {193},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199709)7:3\<193::AID-STVR140\>3.0.CO;2-W},
  doi          = {10.1002/(SICI)1099-1689(199709)7:3\<193::AID-STVR140\>3.0.CO;2-W},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Bache97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/EricsonSU97,
  author       = {Thomas Ericson and
                  Anders Subotic and
                  Stig Ursing},
  title        = {{TIM} - {A} Test Improvement Model},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {4},
  pages        = {229--246},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199712)7:4\<229::AID-STVR149\>3.0.CO;2-M},
  doi          = {10.1002/(SICI)1099-1689(199712)7:4\<229::AID-STVR149\>3.0.CO;2-M},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/EricsonSU97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Hall97,
  author       = {Tracy Hall},
  title        = {Managing Software Quality, by Brian Hambling, McGraw-Hill, 1996 (Book
                  Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {3},
  pages        = {194},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199709)7:3\<194::AID-STVR139\>3.0.CO;2-5},
  doi          = {10.1002/(SICI)1099-1689(199709)7:3\<194::AID-STVR139\>3.0.CO;2-5},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Hall97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Hayes97,
  author       = {Alan B. Hayes},
  title        = {Object-Oriented Software Testing: {A} Hierarchical Approach, by Shel
                  Siegel, Wiley, 1996 (Book Reviews)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {1},
  pages        = {60--61},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199703)7:1\<60::AID-STVR129\>3.0.CO;2-2},
  doi          = {10.1002/(SICI)1099-1689(199703)7:1\<60::AID-STVR129\>3.0.CO;2-2},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Hayes97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Hierons97,
  author       = {Robert M. Hierons},
  title        = {Testing from a {Z} Specification},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {1},
  pages        = {19--33},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199703)7:1\<19::AID-STVR124\>3.0.CO;2-N},
  doi          = {10.1002/(SICI)1099-1689(199703)7:1\<19::AID-STVR124\>3.0.CO;2-N},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Hierons97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/HieronsW97,
  author       = {Robert M. Hierons and
                  Michael P. Wiper},
  title        = {Estimation of Failure Rate using Random and Partition Testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {3},
  pages        = {153--164},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199709)7:3\<153::AID-STVR141\>3.0.CO;2-4},
  doi          = {10.1002/(SICI)1099-1689(199709)7:3\<153::AID-STVR141\>3.0.CO;2-4},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/HieronsW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/IorgulescuS97,
  author       = {R. Iorgulescu and
                  Rudolph E. Seviora},
  title        = {A Method for Continuous Real-Time Supervision},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {2},
  pages        = {69--98},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199706)7:2\<69::AID-STVR131\>3.0.CO;2-4},
  doi          = {10.1002/(SICI)1099-1689(199706)7:2\<69::AID-STVR131\>3.0.CO;2-4},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/IorgulescuS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Leung97,
  author       = {Hareton K. N. Leung},
  title        = {Improving the Testing Process Based Upon Standards},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {1},
  pages        = {3--18},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199703)7:1\<3::AID-STVR127\>3.0.CO;2-C},
  doi          = {10.1002/(SICI)1099-1689(199703)7:1\<3::AID-STVR127\>3.0.CO;2-C},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Leung97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/LoLO97,
  author       = {Raymond W. Lo and
                  Karl N. Levitt and
                  Ronald A. Olsson},
  title        = {Validation of Array Accesses: Integration of Flow Analysis and Program
                  Verification Techniques},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {4},
  pages        = {201--227},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199712)7:4\<201::AID-STVR145\>3.0.CO;2-B},
  doi          = {10.1002/(SICI)1099-1689(199712)7:4\<201::AID-STVR145\>3.0.CO;2-B},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/LoLO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Lockhart97,
  author       = {Robert Lockhart},
  title        = {Information Security in Research and Business, by Louise Yngstr{\"{o}}m
                  and Jan Carlsen (Editors), Thomson Science {\&} Professional,
                  1997 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {4},
  pages        = {247--248},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199712)7:4\<247::AID-STVR147\>3.0.CO;2-O},
  doi          = {10.1002/(SICI)1099-1689(199712)7:4\<247::AID-STVR147\>3.0.CO;2-O},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Lockhart97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/MacdonaldM97,
  author       = {Fraser MacDonald and
                  James Miller},
  title        = {A Software Inspection Process Definition Language and Prototype Support
                  Tool},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {2},
  pages        = {99--128},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199706)7:2\<99::AID-STVR133\>3.0.CO;2-Q},
  doi          = {10.1002/(SICI)1099-1689(199706)7:2\<99::AID-STVR133\>3.0.CO;2-Q},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/MacdonaldM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/OffuttP97,
  author       = {A. Jefferson Offutt and
                  Jie Pan},
  title        = {Automatically Detecting Equivalent Mutants and Infeasible Paths},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {3},
  pages        = {165--192},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199709)7:3\<165::AID-STVR143\>3.0.CO;2-U},
  doi          = {10.1002/(SICI)1099-1689(199709)7:3\<165::AID-STVR143\>3.0.CO;2-U},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/OffuttP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/SahinogluC97,
  author       = {Mehmet Sahinoglu and
                  {\"{U}}nal Can},
  title        = {Alternative Parameter Estimation Methods for the Compound Poisson
                  Software Reliability Model with Clustered Failure Data},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {1},
  pages        = {35--57},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199703)7:1\<35::AID-STVR125\>3.0.CO;2-I},
  doi          = {10.1002/(SICI)1099-1689(199703)7:1\<35::AID-STVR125\>3.0.CO;2-I},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/SahinogluC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Waeselynck97,
  author       = {H{\'{e}}l{\`{e}}ne Waeselynck},
  title        = {Specification in {B:} An Introduction Using the {B} Toolkit, by Kevin
                  Lano and Howard Haughton, Imperial College Press, distributed by World
                  Scientific Publishing, 1996 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {2},
  pages        = {129--130},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199706)7:2\<129::AID-STVR132\>3.0.CO;2-9},
  doi          = {10.1002/(SICI)1099-1689(199706)7:2\<129::AID-STVR132\>3.0.CO;2-9},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Waeselynck97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/White97,
  author       = {Lee J. White},
  title        = {Editorial: {A} six-year perspective - the readership and content of
                  {STVR}},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {4},
  pages        = {199--200},
  year         = {1997},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/White97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Whitty97,
  author       = {Robin W. Whitty},
  title        = {Software Inspection: An Industry Best Practice, by David A. Wheeler,
                  Bill Brykczynski and Reginald {N} Meeson, Jr., {IEEE} Computer Society,
                  1996 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {2},
  pages        = {130--132},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199706)7:2\<130::AID-STVR134\>3.0.CO;2-9},
  doi          = {10.1002/(SICI)1099-1689(199706)7:2\<130::AID-STVR134\>3.0.CO;2-9},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Whitty97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Whitty97a,
  author       = {Robin W. Whitty},
  title        = {Editorial: What do we want to get out of testing?},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {3},
  pages        = {137--138},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199709)7:3\<137::AID-STVR142\>3.0.CO;2-3},
  doi          = {10.1002/(SICI)1099-1689(199709)7:3\<137::AID-STVR142\>3.0.CO;2-3},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Whitty97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Woodward97,
  author       = {Martin R. Woodward},
  title        = {Editorial: Research publication standards - making the right judgements},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {2},
  pages        = {67--68},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199706)7:2\<67::AID-STVR137\>3.0.CO;2-P},
  doi          = {10.1002/(SICI)1099-1689(199706)7:2\<67::AID-STVR137\>3.0.CO;2-P},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Woodward97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Xie97,
  author       = {Min Xie},
  title        = {Handbook of Software Reliability Engineering, by Michael R. Lyu (Editor),
                  McGraw-Hill and {IEEE} Computer Society, 1996 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {1},
  pages        = {59--60},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199703)7:1\<59::AID-STVR126\>3.0.CO;2-5},
  doi          = {10.1002/(SICI)1099-1689(199703)7:1\<59::AID-STVR126\>3.0.CO;2-5},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Xie97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Yates97,
  author       = {Derek Yates},
  title        = {Editorial},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {7},
  number       = {1},
  pages        = {1--2},
  year         = {1997},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199703)7:1\<1::AID-STVR128\>3.0.CO;2-B},
  doi          = {10.1002/(SICI)1099-1689(199703)7:1\<1::AID-STVR128\>3.0.CO;2-B},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Yates97.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.