default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/stvr/stvr9.bht:"
download as .bib file
@article{DBLP:journals/stvr/ArcherLO99,
author = {Myla Archer and
Amy Lo and
Ronald A. Olsson},
title = {Towards a Transformational Approach to Program Verification},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {2},
pages = {85--106},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199906)9:2\<85::AID-STVR178\>3.0.CO;2-2},
doi = {10.1002/(SICI)1099-1689(199906)9:2\<85::AID-STVR178\>3.0.CO;2-2},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ArcherLO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BondavalliCGS99,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Lorenzo Strigini},
title = {A Contribution to the Evaluation of the Reliability of Iterative-Execution
Software},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {3},
pages = {145--166},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199909)9:3\<145::AID-STVR179\>3.0.CO;2-B},
doi = {10.1002/(SICI)1099-1689(199909)9:3\<145::AID-STVR179\>3.0.CO;2-B},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BondavalliCGS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Burton99,
author = {Simon Burton},
title = {Testing Safety-Related Software: a Practical Handbook, by S. Gardiner
(Editor), Springer-Verlag, 1999 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {2},
pages = {135--136},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199906)9:2\<135::AID-STVR181\>3.0.CO;2-4},
doi = {10.1002/(SICI)1099-1689(199906)9:2\<135::AID-STVR181\>3.0.CO;2-4},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Burton99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/DerrickB99,
author = {John Derrick and
Eerke A. Boiten},
title = {Testing Refinements of State-based Formal Specifications},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {1},
pages = {27--50},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\<27::AID-STVR172\>3.0.CO;2-B},
doi = {10.1002/(SICI)1099-1689(199903)9:1\<27::AID-STVR172\>3.0.CO;2-B},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/DerrickB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Graham99,
author = {Dorothy R. Graham},
title = {Surviving the Top Ten Challenges of Software Testing: a People-Oriented
Approach, by William E. Perry and Randall W. Rice, Dorset House, 1997
(Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {2},
pages = {136--137},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199906)9:2\<136::AID-STVR182\>3.0.CO;2-0},
doi = {10.1002/(SICI)1099-1689(199906)9:2\<136::AID-STVR182\>3.0.CO;2-0},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Graham99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hamlet99,
author = {Richard G. Hamlet},
title = {Tribute: John Gannon},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {4},
pages = {201--203},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199912)9:4\<201::AID-STVR198\>3.0.CO;2-U},
doi = {10.1002/(SICI)1099-1689(199912)9:4\<201::AID-STVR198\>3.0.CO;2-U},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hamlet99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons99,
author = {Robert M. Hierons},
title = {Correct Systems: Building a Business Process Solution, by Mike Holcombe
and Florentin Ipate, Springer-Verlag, 1998 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {1},
pages = {76--77},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\<76::AID-STVR175\>3.0.CO;2-P},
doi = {10.1002/(SICI)1099-1689(199903)9:1\<76::AID-STVR175\>3.0.CO;2-P},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons99a,
author = {Robert M. Hierons},
title = {Editorial: What does testing tell us?},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {3},
pages = {143--144},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons99b,
author = {Robert M. Hierons},
title = {Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {3},
pages = {191--193},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HieronsHD99,
author = {Robert M. Hierons and
Mark Harman and
Sebastian Danicic},
title = {Using Program Slicing to Assist in the Detection of Equivalent Mutants},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {4},
pages = {233--262},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199912)9:4\<233::AID-STVR191\>3.0.CO;2-3},
doi = {10.1002/(SICI)1099-1689(199912)9:4\<233::AID-STVR191\>3.0.CO;2-3},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HieronsHD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HoffmanSW99,
author = {Daniel Hoffman and
Paul A. Strooper and
Lee J. White},
title = {Boundary Values and Automated Component Testing},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {1},
pages = {3--26},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\<3::AID-STVR169\>3.0.CO;2-Z},
doi = {10.1002/(SICI)1099-1689(199903)9:1\<3::AID-STVR169\>3.0.CO;2-Z},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HoffmanSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MarxF99,
author = {Delia I. S. Marx and
Phyllis G. Frankl},
title = {Path-sensitive Alias Analysis for Data Flow Testing},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {1},
pages = {51--73},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\<51::AID-STVR177\>3.0.CO;2-U},
doi = {10.1002/(SICI)1099-1689(199903)9:1\<51::AID-STVR177\>3.0.CO;2-U},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MarxF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Miller99,
author = {James Miller},
title = {Estimating the Number of Remaining Defects after Inspection},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {3},
pages = {167--189},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199909)9:3\<167::AID-STVR185\>3.0.CO;2-E},
doi = {10.1002/(SICI)1099-1689(199909)9:3\<167::AID-STVR185\>3.0.CO;2-E},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Miller99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MresaB99,
author = {Elfurjani Sassi Mresa and
Leonardo Bottaci},
title = {Efficiency of Mutation Operators and Selective Mutation Strategies:
An Empirical Study},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {4},
pages = {205--232},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199912)9:4\<205::AID-STVR186\>3.0.CO;2-X},
doi = {10.1002/(SICI)1099-1689(199912)9:4\<205::AID-STVR186\>3.0.CO;2-X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MresaB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/PargasHP99,
author = {Roy P. Pargas and
Mary Jean Harrold and
Robert Peck},
title = {Test-Data Generation Using Genetic Algorithms},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {4},
pages = {263--282},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199912)9:4\<263::AID-STVR190\>3.0.CO;2-Y},
doi = {10.1002/(SICI)1099-1689(199912)9:4\<263::AID-STVR190\>3.0.CO;2-Y},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/PargasHP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Quentin99,
author = {Geoff Quentin},
title = {Automated Software Testing: Introduction, Management and Performance,
Elfriede Dustin, Jeff Rashka and John Paul, Addison-Wesley, 1999 (Book
Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {4},
pages = {283--284},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Quentin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Reid99,
author = {Stuart Reid},
title = {Software Fault Injection: Inoculating Programs Against Errors, by
Jeffrey Voas and Gary McGraw, Wiley, 1998 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {1},
pages = {75--76},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\<75::AID-STVR174\>3.0.CO;2-T},
doi = {10.1002/(SICI)1099-1689(199903)9:1\<75::AID-STVR174\>3.0.CO;2-T},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Reid99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Roper99,
author = {Marc Roper},
title = {Testing Object-Oriented Software, by David C. Kung, Pei Hsia and Jerry
Gao, {IEEE} Computer Society, 1998 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {3},
pages = {193--194},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199909)9:3\<193::AID-STVR189\>3.0.CO;2-Y},
doi = {10.1002/(SICI)1099-1689(199909)9:3\<193::AID-STVR189\>3.0.CO;2-Y},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Roper99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/White99,
author = {Lee J. White},
title = {Editorial: Submission of Position Papers and Letters to the Editor},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {4},
pages = {199--200},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/White99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward99,
author = {Martin R. Woodward},
title = {Editorial: {V} is for Verification},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {2},
pages = {83--84},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199906)9:2\<83::AID-STVR183\>3.0.CO;2-I},
doi = {10.1002/(SICI)1099-1689(199906)9:2\<83::AID-STVR183\>3.0.CO;2-I},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Yang99,
author = {Hongji Yang},
title = {The Renaissance of Legacy Systems: Method Support for Software-System
Evolution, Ian Warren, Springer-Verlag, 1999 (Book Review)},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {4},
pages = {283},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Yang99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Yates99,
author = {Derek Yates},
title = {Editorial: Crisis - What Crisis?},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {1},
pages = {1--2},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199903)9:1\<1::AID-STVR180\>3.0.CO;2-P},
doi = {10.1002/(SICI)1099-1689(199903)9:1\<1::AID-STVR180\>3.0.CO;2-P},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Yates99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ZhangBPOL99,
author = {Cui Zhang and
Brian R. Becker and
Dave Peticolas and
Ronald A. Olsson and
Karl N. Levitt},
title = {{LVT:} {A} Layered Verification Technique for Distributed Computing
Systems},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {2},
pages = {107--133},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199906)9:2\<107::AID-STVR176\>3.0.CO;2-Y},
doi = {10.1002/(SICI)1099-1689(199906)9:2\<107::AID-STVR176\>3.0.CO;2-Y},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ZhangBPOL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-27 23:34 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
