default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/stvr/stvr11.bht:"
download as .bib file
@article{DBLP:journals/stvr/BarbosaMV01,
author = {Ellen Francine Barbosa and
Jos{\'{e}} Carlos Maldonado and
Auri Marcelo Rizzo Vincenzi},
title = {Toward the determination of sufficient mutant operators for {C}},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {2},
pages = {113--136},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BarbosaMV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BogdanovH01,
author = {Kirill Bogdanov and
Mike Holcombe},
title = {Statechart testing method for aircraft control systems},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {1},
pages = {39--54},
year = {2001},
url = {https://doi.org/10.1002/stvr.217},
doi = {10.1002/STVR.217},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BogdanovH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Cartwright01,
author = {Michelle Cartwright},
title = {Book Review: Experimentation in Software Engineering: An Introduction.
By Claes Wohlin, Per Runeson, Martin H{\"{o}}st, Magnus C. Ohlsson,
Bj{\"{o}}rn Regnell and Anders Wessl{\'{e}}n. Kluwer Academic
Publishers, 1999, {ISBN} 0-7923-8682-5},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {198--199},
year = {2001},
url = {https://doi.org/10.1002/stvr.230},
doi = {10.1002/STVR.230},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Cartwright01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ChenL01,
author = {Tsong Yueh Chen and
Man Fai Lau},
title = {Test case selection strategies based on Boolean specifications},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {165--180},
year = {2001},
url = {https://doi.org/10.1002/stvr.221},
doi = {10.1002/STVR.221},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ChenL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Edwards01,
author = {Stephen H. Edwards},
title = {A framework for practical, automated black-box testing of component-based
software},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {2},
pages = {97--111},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Edwards01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Fox01,
author = {Chris Fox},
title = {Book Review: Linux: The Complete Reference, Third Edition, by Richard
Petersen, Osborne/McGraw-Hill},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {1},
pages = {55--58},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Fox01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GhoshM01,
author = {Sudipto Ghosh and
Aditya P. Mathur},
title = {Interface mutation},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {227--247},
year = {2001},
url = {https://doi.org/10.1002/stvr.239},
doi = {10.1002/STVR.239},
timestamp = {Wed, 26 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GhoshM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons01,
author = {Robert M. Hierons},
title = {Book Review: Spin Model Checking and Software Verification, Proceedings
of the 7th International {SPIN} Workshop, Stanford, CA, USA, By Klaus
Havelund, John Penix and Willem Visser (eds.). {LNCS} 1885},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {197--198},
year = {2001},
url = {https://doi.org/10.1002/stvr.229},
doi = {10.1002/STVR.229},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HolzmannS01,
author = {Gerard J. Holzmann and
Margaret H. Smith},
title = {Software model checking: extracting verification models from source
code},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {2},
pages = {65--79},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HolzmannS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KimC01,
author = {Taeho Kim and
Sung Deok Cha},
title = {Automated structural analysis of SCR-style software requirements specifications
using {PVS}},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {143--163},
year = {2001},
url = {https://doi.org/10.1002/stvr.218},
doi = {10.1002/STVR.218},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KimCM01,
author = {Sun{-}Woo Kim and
John A. Clark and
John A. McDermid},
title = {Investigating the effectiveness of object-oriented testing strategies
using the mutation method},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {207--225},
year = {2001},
url = {https://doi.org/10.1002/stvr.238},
doi = {10.1002/STVR.238},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/KimCM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Lano01,
author = {Kevin Lano},
title = {Book Review: Formal Object-Oriented Specification Using Object-Z,
by Roger Duke and Gordon Rose, Macmillan Press},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {1},
pages = {55},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Lano01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Meudec01,
author = {Christophe Meudec},
title = {ATGen: automatic test data generation using constraint logic programming
and symbolic execution},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {2},
pages = {81--96},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Meudec01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/PeriyasamyA01,
author = {Kasilingam Periyasamy and
Vangalur S. Alagar},
title = {A rigorous method for test templates generation from object-oriented
specifications},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {1},
pages = {3--37},
year = {2001},
url = {https://doi.org/10.1002/stvr.210},
doi = {10.1002/STVR.210},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/PeriyasamyA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/TraceyPV01,
author = {Nigel Tracey and
John Penix and
Willem Visser},
title = {Editorial: The First International Workshop on Automated Program Analysis,
Testing and Verification {(WAPATV} 2000)},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {2},
pages = {63--64},
year = {2001},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/TraceyPV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/UttingR01,
author = {Mark Utting and
Steve Reeves},
title = {Teaching formal methods lite via testing},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {181--195},
year = {2001},
url = {https://doi.org/10.1002/stvr.223},
doi = {10.1002/STVR.223},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/UttingR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/VincenziMBD01,
author = {Auri Marcelo Rizzo Vincenzi and
Jos{\'{e}} Carlos Maldonado and
Ellen Francine Barbosa and
M{\'{a}}rcio Eduardo Delamaro},
title = {Unit and integration testing strategies for {C} programs using mutation},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {249--268},
year = {2001},
url = {https://doi.org/10.1002/stvr.242},
doi = {10.1002/STVR.242},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/VincenziMBD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/White01,
author = {Lee J. White},
title = {Editorial: Specification-based testing revisited?},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {1},
pages = {1--2},
year = {2001},
url = {https://doi.org/10.1002/stvr.220},
doi = {10.1002/STVR.220},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/White01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Wong01,
author = {W. Eric Wong},
title = {Editorial: Mutation 2000 - {A} Symposium on Mutation Testing},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {205--206},
year = {2001},
url = {https://doi.org/10.1002/stvr.241},
doi = {10.1002/STVR.241},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Wong01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Woodward01,
author = {Martin R. Woodward},
title = {Editorial: Putting specifications to the test},
journal = {Softw. Test. Verification Reliab.},
volume = {11},
number = {3},
pages = {141--142},
year = {2001},
url = {https://doi.org/10.1002/stvr.231},
doi = {10.1002/STVR.231},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Woodward01.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 2024-12-01 05:40 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:
