default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/stvr/stvr12.bht:"
download as .bib file
@article{DBLP:journals/stvr/AurumPW02,
author = {Ayb{\"{u}}ke Aurum and
H{\aa}kan Petersson and
Claes Wohlin},
title = {State-of-the-art: software inspections after 25 years},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {133--154},
year = {2002},
url = {https://doi.org/10.1002/stvr.243},
doi = {10.1002/STVR.243},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AurumPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Banach02,
author = {Richard Banach},
title = {Book Reviews},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {278},
year = {2002},
url = {https://doi.org/10.1002/stvr.255},
doi = {10.1002/STVR.255},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Banach02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BernardeschiFG02,
author = {Cinzia Bernardeschi and
Alessandro Fantechi and
Stefania Gnesi},
title = {Model checking fault tolerant systems},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {251--275},
year = {2002},
url = {https://doi.org/10.1002/stvr.258},
doi = {10.1002/STVR.258},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BernardeschiFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Burd02,
author = {Elizabeth Burd},
title = {Book Reviews},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {277},
year = {2002},
url = {https://doi.org/10.1002/stvr.254},
doi = {10.1002/STVR.254},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Burd02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ChenURER02,
author = {Wei Chen and
Roland H. Untch and
Gregg Rothermel and
Sebastian G. Elbaum and
Jeffery von Ronne},
title = {Can fault-exposure-potential estimates improve the fault detection
abilities of test suites?},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {197--218},
year = {2002},
url = {https://doi.org/10.1002/stvr.257},
doi = {10.1002/STVR.257},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ChenURER02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Edwards02,
author = {Helen M. Edwards},
title = {Problem frames: analyzing and structuring software development problems},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {2},
pages = {124--125},
year = {2002},
url = {https://doi.org/10.1002/stvr.247},
doi = {10.1002/STVR.247},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Edwards02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ForgacsB02,
author = {Istv{\'{a}}n Forg{\'{a}}cs and
Antonia Bertolino},
title = {Preventing untestedness in data-flow based testing},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {29--58},
year = {2002},
url = {https://doi.org/10.1002/stvr.234},
doi = {10.1002/STVR.234},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ForgacsB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FrancescoS02,
author = {Nicoletta De Francesco and
Antonella Santone},
title = {Syntactic reductions for efficient deadlock analysis},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {173--186},
year = {2002},
url = {https://doi.org/10.1002/stvr.252},
doi = {10.1002/STVR.252},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FrancescoS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GoeschlS02,
author = {Siegfried G{\"{o}}schl and
Harry M. Sneed},
title = {Case study of testing a distributed internet-system},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {2},
pages = {77--92},
year = {2002},
url = {https://doi.org/10.1002/stvr.233},
doi = {10.1002/STVR.233},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GoeschlS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons02,
author = {Robert M. Hierons},
title = {Editorial: Formal methods and testing},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {2},
pages = {69--70},
year = {2002},
url = {https://doi.org/10.1002/stvr.249},
doi = {10.1002/STVR.249},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HieronsHFOD02,
author = {Robert M. Hierons and
Mark Harman and
Chris Fox and
Lahcen Ouarbya and
Mohammed Daoudi},
title = {Conditioned slicing supports partition testing},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {23--28},
year = {2002},
url = {https://doi.org/10.1002/stvr.232},
doi = {10.1002/STVR.232},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HieronsHFOD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Kammuller02,
author = {Florian Kamm{\"{u}}ller},
title = {Book Reviews},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {188--189},
year = {2002},
url = {https://doi.org/10.1002/stvr.250},
doi = {10.1002/STVR.250},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Kammuller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Leuschel02,
author = {Michael Leuschel},
title = {Book Reviews},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {187--188},
year = {2002},
url = {https://doi.org/10.1002/stvr.251},
doi = {10.1002/STVR.251},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Leuschel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MazzoccaSVV02,
author = {Nicola Mazzocca and
Antonella Santone and
Gigliola Vaglini and
Valeria Vittorini},
title = {Efficient model checking of properties of a distributed application:
a multimedia case study},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {3--21},
year = {2002},
url = {https://doi.org/10.1002/stvr.222},
doi = {10.1002/STVR.222},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MazzoccaSVV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Olsson02,
author = {Ronald A. Olsson},
title = {Additional transformations for multiple-level escape statements},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {2},
pages = {71--76},
year = {2002},
url = {https://doi.org/10.1002/stvr.236},
doi = {10.1002/STVR.236},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Olsson02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/RothermelHRH02,
author = {Gregg Rothermel and
Mary Jean Harrold and
Jeffery von Ronne and
Christie Hong},
title = {Empirical studies of test-suite reduction},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {219--249},
year = {2002},
url = {https://doi.org/10.1002/stvr.256},
doi = {10.1002/STVR.256},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/RothermelHRH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SoCSK02,
author = {Sun Sup So and
Sung Deok Cha and
Timothy J. Shimeall and
Yong Rae Kwon},
title = {An empirical evaluation of six methods to detect faults in software},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {155--171},
year = {2002},
url = {https://doi.org/10.1002/stvr.248},
doi = {10.1002/STVR.248},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SoCSK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Stevens02,
author = {Perdita Stevens},
title = {Refinement in {Z} and object-Z: foundations and advanced applications},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {61},
year = {2002},
url = {https://doi.org/10.1002/stvr.237},
doi = {10.1002/STVR.237},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Stevens02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/StringfellowAWP02,
author = {Catherine Stringfellow and
Anneliese Amschler Andrews and
Claes Wohlin and
H{\aa}kan Petersson},
title = {Estimating the number of components with defects post-release that
showed no defects in testing},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {2},
pages = {93--122},
year = {2002},
url = {https://doi.org/10.1002/stvr.235},
doi = {10.1002/STVR.235},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/StringfellowAWP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Thompson02,
author = {Geoff Thompson},
title = {Testing it: an off-the-shelf software testing process},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {2},
pages = {123},
year = {2002},
url = {https://doi.org/10.1002/stvr.246},
doi = {10.1002/STVR.246},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Thompson02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/White02,
author = {Lee J. White},
title = {Editorial: The importance of empirical work for software engineering
papers},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {4},
pages = {195--196},
year = {2002},
url = {https://doi.org/10.1002/stvr.259},
doi = {10.1002/STVR.259},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/White02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WhiteW02,
author = {Lee J. White and
Martin R. Woodward},
title = {List of Referees},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {63--64},
year = {2002},
url = {https://doi.org/10.1002/stvr.245},
doi = {10.1002/STVR.245},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/WhiteW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Whitty02,
author = {Robin W. Whitty},
title = {Digraphs: theory, algorithms and applications},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {59--60},
year = {2002},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Whitty02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward02,
author = {Martin R. Woodward},
title = {Editorial: Little bugs and big bugs},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {3},
pages = {131--132},
year = {2002},
url = {https://doi.org/10.1002/stvr.253},
doi = {10.1002/STVR.253},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Yates02,
author = {Derek Yates},
title = {Editorial: Find the missing links?},
journal = {Softw. Test. Verification Reliab.},
volume = {12},
number = {1},
pages = {1--2},
year = {2002},
url = {https://doi.org/10.1002/stvr.244},
doi = {10.1002/STVR.244},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Yates02.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-12 09:30 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:
