Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/stvr/stvr26.bht:"
download as .bib file
@article{DBLP:journals/stvr/AiguierAGL16,
author = {Marc Aiguier and
Agn{\`{e}}s Arnould and
Pascale Le Gall and
Delphine Longuet},
title = {Exhaustive test sets for algebraic specifications},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {4},
pages = {294--317},
year = {2016},
url = {https://doi.org/10.1002/stvr.1598},
doi = {10.1002/STVR.1598},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/AiguierAGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AlvesMMK16,
author = {Everton L. G. Alves and
Patr{\'{\i}}cia D. L. Machado and
Tiago Massoni and
Miryung Kim},
title = {Prioritizing test cases for early detection of refactoring faults},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {5},
pages = {402--426},
year = {2016},
url = {https://doi.org/10.1002/stvr.1603},
doi = {10.1002/STVR.1603},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AlvesMMK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AssiMZ16,
author = {Rawad Abou Assi and
Wes Masri and
Fadi A. Zaraket},
title = {UCov: a user-defined coverage criterion for test case intent verification},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {6},
pages = {460--491},
year = {2016},
url = {https://doi.org/10.1002/stvr.1607},
doi = {10.1002/STVR.1607},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AssiMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CzemerinskiBU16,
author = {Hernan Czemerinski and
V{\'{\i}}ctor A. Braberman and
Sebasti{\'{a}}n Uchitel},
title = {Behaviour abstraction adequacy criteria for {API} call protocol testing},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {3},
pages = {211--244},
year = {2016},
url = {https://doi.org/10.1002/stvr.1593},
doi = {10.1002/STVR.1593},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CzemerinskiBU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FeldererZBBP16,
author = {Michael Felderer and
Philipp Zech and
Ruth Breu and
Matthias B{\"{u}}chler and
Alexander Pretschner},
title = {Model-based security testing: a taxonomy and systematic classification},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {2},
pages = {119--148},
year = {2016},
url = {https://doi.org/10.1002/stvr.1580},
doi = {10.1002/STVR.1580},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FeldererZBBP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GhaithWPJOM16,
author = {Shadi Ghaith and
Miao Wang and
Philip Perry and
Zhen Ming Jiang and
Patrick O'Sullivan and
John Murphy},
title = {Anomaly detection in performance regression testing by transaction
profile estimation},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {1},
pages = {4--39},
year = {2016},
url = {https://doi.org/10.1002/stvr.1573},
doi = {10.1002/STVR.1573},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GhaithWPJOM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GroceAZCR16,
author = {Alex Groce and
Mohammad Amin Alipour and
Chaoqiang Zhang and
Yang Chen and
John Regehr},
title = {Cause reduction: delta debugging, even without bugs},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {1},
pages = {40--68},
year = {2016},
url = {https://doi.org/10.1002/stvr.1574},
doi = {10.1002/STVR.1574},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GroceAZCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons16,
author = {Robert M. Hierons},
title = {The dreaded desk reject},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {1},
pages = {3},
year = {2016},
url = {https://doi.org/10.1002/stvr.1597},
doi = {10.1002/STVR.1597},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons16a,
author = {Robert M. Hierons},
title = {Editorial},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {6},
pages = {430},
year = {2016},
url = {https://doi.org/10.1002/stvr.1612},
doi = {10.1002/STVR.1612},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KanewalaBB16,
author = {Upulee Kanewala and
James M. Bieman and
Asa Ben{-}Hur},
title = {Predicting metamorphic relations for testing scientific software:
a machine learning approach using graph kernels},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {3},
pages = {245--269},
year = {2016},
url = {https://doi.org/10.1002/stvr.1594},
doi = {10.1002/STVR.1594},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KanewalaBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LiuLNBB16,
author = {Bing Liu and
Lucia and
Shiva Nejati and
Lionel C. Briand and
Thomas Bruckmann},
title = {Simulink fault localization: an iterative statistical debugging approach},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {6},
pages = {431--459},
year = {2016},
url = {https://doi.org/10.1002/stvr.1605},
doi = {10.1002/STVR.1605},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/LiuLNBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LiuLWH16,
author = {Yu Liu and
Duo Li and
Lujia Wang and
Qingpei Hu},
title = {A general modeling and analysis framework for software fault detection
and correction process},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {5},
pages = {351--365},
year = {2016},
url = {https://doi.org/10.1002/stvr.1600},
doi = {10.1002/STVR.1600},
timestamp = {Sun, 12 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/LiuLWH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/NavarroRP16,
author = {Pedro Luis Mateo Navarro and
Diego Sevilla Ruiz and
Gregorio Mart{\'{\i}}nez P{\'{e}}rez},
title = {A lightweight framework for dynamic {GUI} data verification based
on scripts},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {2},
pages = {95--118},
year = {2016},
url = {https://doi.org/10.1002/stvr.1579},
doi = {10.1002/STVR.1579},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/NavarroRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/OcarizaLP016,
author = {Frolin S. Ocariza Jr. and
Guanpeng Li and
Karthik Pattabiraman and
Ali Mesbah},
title = {Automatic fault localization for client-side JavaScript},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {1},
pages = {69--88},
year = {2016},
url = {https://doi.org/10.1002/stvr.1576},
doi = {10.1002/STVR.1576},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/OcarizaLP016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt16,
author = {Jeff Offutt},
title = {How to revise a research paper},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {2},
pages = {92--94},
year = {2016},
url = {https://doi.org/10.1002/stvr.1602},
doi = {10.1002/STVR.1602},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt16a,
author = {Jeff Offutt},
title = {How to write an effective "Response to Reviewers" letter},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {3},
pages = {174--175},
year = {2016},
url = {https://doi.org/10.1002/stvr.1604},
doi = {10.1002/STVR.1604},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt16b,
author = {Jeff Offutt},
title = {Editorial: {STVR} policy on extending conference papers to journal
submissions},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {4},
pages = {274--275},
year = {2016},
url = {https://doi.org/10.1002/stvr.1606},
doi = {10.1002/STVR.1606},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt16c,
author = {Jeff Offutt},
title = {Editorial: Changes to STVR's Editorial Board},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {5},
pages = {350},
year = {2016},
url = {https://doi.org/10.1002/stvr.1608},
doi = {10.1002/STVR.1608},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt16d,
author = {Jeff Offutt},
title = {Editorial: How to extend a conference paper to a journal paper},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {7},
pages = {496--497},
year = {2016},
url = {https://doi.org/10.1002/stvr.1623},
doi = {10.1002/STVR.1623},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt16d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt16e,
author = {Jeff Offutt},
title = {Editorial: The Downward Death Spiral Review Process},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {8},
pages = {546--547},
year = {2016},
url = {https://doi.org/10.1002/stvr.1624},
doi = {10.1002/STVR.1624},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt16e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/PengH16,
author = {Kuan{-}Li Peng and
Chin{-}Yu Huang},
title = {Stochastic modelling and simulation approaches to analysing enhanced
fault tolerance on service-based software systems},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {4},
pages = {276--293},
year = {2016},
url = {https://doi.org/10.1002/stvr.1596},
doi = {10.1002/STVR.1596},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/PengH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/RojasFA16,
author = {Jos{\'{e}} Miguel Rojas and
Gordon Fraser and
Andrea Arcuri},
title = {Seeding strategies in search-based unit test generation},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {5},
pages = {366--401},
year = {2016},
url = {https://doi.org/10.1002/stvr.1601},
doi = {10.1002/STVR.1601},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/RojasFA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/RoyMS16,
author = {Suman Roy and
Janardan Misra and
Indranil Saha},
title = {A simplification of a real-time verification problem},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {8},
pages = {548--571},
year = {2016},
url = {https://doi.org/10.1002/stvr.1622},
doi = {10.1002/STVR.1622},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/RoyMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/TeodorovLDD16,
author = {Ciprian Teodorov and
Luka Leroux and
Zo{\'{e}} Drey and
Philippe Dhaussy},
title = {Past-Free[ze] reachability analysis: reaching further with DAG-directed
exhaustive state-space analysis},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {7},
pages = {516--542},
year = {2016},
url = {https://doi.org/10.1002/stvr.1611},
doi = {10.1002/STVR.1611},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/TeodorovLDD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WangSLKKL16,
author = {Wenhua Wang and
Sreedevi Sampath and
Yu Lei and
Raghu Kacker and
D. Richard Kuhn and
James Lawrence},
title = {Using combinatorial testing to build navigation graphs for dynamic
web applications},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {4},
pages = {318--346},
year = {2016},
url = {https://doi.org/10.1002/stvr.1599},
doi = {10.1002/STVR.1599},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/WangSLKKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WangXYSZ16,
author = {Hongda Wang and
Jianchun Xing and
Qiliang Yang and
Wei Song and
Xuewei Zhang},
title = {Generating effective test cases based on satisfiability modulo theory
solvers for service-oriented workflow applications},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {2},
pages = {149--169},
year = {2016},
url = {https://doi.org/10.1002/stvr.1592},
doi = {10.1002/STVR.1592},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/WangXYSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WangZJL16,
author = {Tiejian Wang and
Zhiwu Zhang and
Xiaoyuan Jing and
Yanli Liu},
title = {Non-negative sparse-based SemiBoost for software defect prediction},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {7},
pages = {498--515},
year = {2016},
url = {https://doi.org/10.1002/stvr.1610},
doi = {10.1002/STVR.1610},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/WangZJL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/XuCD16,
author = {Junjie Xu and
Rong Chen and
Zhenjun Du},
title = {Probabilistic reasoning in diagnosing causes of program failures},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {3},
pages = {176--210},
year = {2016},
url = {https://doi.org/10.1002/stvr.1583},
doi = {10.1002/STVR.1583},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/XuCD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-06 23:08 CEST 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:
