default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/stvr/stvr27.bht:"
download as .bib file
@article{DBLP:journals/stvr/Almendros-Jimenez17,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Antonio Becerra{-}Ter{\'{o}}n},
title = {Automatic property-based testing and path validation of XQuery programs},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {1-2},
year = {2017},
url = {https://doi.org/10.1002/stvr.1625},
doi = {10.1002/STVR.1625},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Almendros-Jimenez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Ayav17,
author = {Tolga Ayav},
title = {Prioritizing {MCDC} test cases by spectral analysis of Boolean functions},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {7},
year = {2017},
url = {https://doi.org/10.1002/stvr.1641},
doi = {10.1002/STVR.1641},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Ayav17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BaiSP17,
author = {Zhuofu Bai and
Gang Shu and
Andy Podgurski},
title = {Causal inference based fault localization for numerical software with
{NUMFL}},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/stvr.1613},
doi = {10.1002/STVR.1613},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BaiSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BonifacioM17,
author = {Adilson Luiz Bonif{\'{a}}cio and
Arnaldo Vieira Moura},
title = {Test suite completeness and black box testing},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {1-2},
year = {2017},
url = {https://doi.org/10.1002/stvr.1626},
doi = {10.1002/STVR.1626},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BonifacioM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CinqueCPPR17,
author = {Marcello Cinque and
Domenico Cotroneo and
Antonio Pecchia and
Roberto Pietrantuono and
Stefano Russo},
title = {Debugging-workflow-aware software reliability growth analysis},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {7},
year = {2017},
url = {https://doi.org/10.1002/stvr.1638},
doi = {10.1002/STVR.1638},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/CinqueCPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CseppentoM17,
author = {Lajos Cseppento and
Zolt{\'{a}}n Micskei},
title = {Evaluating code-based test input generator tools},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/stvr.1627},
doi = {10.1002/STVR.1627},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CseppentoM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Delgado-PerezSM17,
author = {Pedro Delgado{-}P{\'{e}}rez and
Sergio Segura and
Inmaculada Medina{-}Bulo},
title = {Assessment of {C++} object-oriented mutation operators: {A} selective
mutation approach},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {4-5},
year = {2017},
url = {https://doi.org/10.1002/stvr.1630},
doi = {10.1002/STVR.1630},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Delgado-PerezSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FraserM17,
author = {Gordon Fraser and
Darko Marinov},
title = {Editorial for the special issue of {STVR} on the 8th {IEEE} International
Conference on Software Testing, Verification, and Validation {(ICST}
2015)},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/stvr.1644},
doi = {10.1002/STVR.1644},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/FraserM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HammoudZM17,
author = {Dalal Hammoud and
Fadi A. Zaraket and
Wes Masri},
title = {GUICop: Approach and toolset for specification-based {GUI} testing},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {8},
year = {2017},
url = {https://doi.org/10.1002/stvr.1642},
doi = {10.1002/STVR.1642},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HammoudZM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HemmatiFMA17,
author = {Hadi Hemmati and
Zhihan Fang and
Mika V. M{\"{a}}ntyl{\"{a}} and
Bram Adams},
title = {Prioritizing manual test cases in rapid release environments},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/stvr.1609},
doi = {10.1002/STVR.1609},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HemmatiFMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Hierons17,
author = {Robert M. Hierons},
title = {How to manage a conference special issue},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {3},
year = {2017},
url = {https://doi.org/10.1002/stvr.1633},
doi = {10.1002/STVR.1633},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Hierons17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MidtgaardM17,
author = {Jan Midtgaard and
Anders M{\o}ller},
title = {QuickChecking static analysis properties},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/stvr.1640},
doi = {10.1002/STVR.1640},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/MidtgaardM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MonteiroGCF17,
author = {Felipe R. Monteiro and
M{\'{a}}rio Garcia and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho},
title = {Bounded model checking of {C++} programs based on the Qt cross-platform
framework},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {3},
year = {2017},
url = {https://doi.org/10.1002/stvr.1632},
doi = {10.1002/STVR.1632},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MonteiroGCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MoreiraPNM17,
author = {Rodrigo M. L. M. Moreira and
Ana C. R. Paiva and
Miguel Nabuco and
Atif Memon},
title = {Pattern-based {GUI} testing: Bridging the gap between design and quality
assurance},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {3},
year = {2017},
url = {https://doi.org/10.1002/stvr.1629},
doi = {10.1002/STVR.1629},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MoreiraPNM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt17,
author = {Jeff Offutt},
title = {Editorial: Accepting shortened papers hurts science},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {1-2},
year = {2017},
url = {https://doi.org/10.1002/stvr.1631},
doi = {10.1002/STVR.1631},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt17a,
author = {Jeff Offutt},
title = {Is paper reviewing a transaction, a service, or an opportunity?},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {4-5},
year = {2017},
url = {https://doi.org/10.1002/stvr.1643},
doi = {10.1002/STVR.1643},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt17b,
author = {Jeff Offutt},
title = {Editorial: Beware of predatory journals},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {7},
year = {2017},
url = {https://doi.org/10.1002/stvr.1655},
doi = {10.1002/STVR.1655},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt17c,
author = {Jeff Offutt},
title = {Color figures considered harmful},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {8},
year = {2017},
url = {https://doi.org/10.1002/stvr.1656},
doi = {10.1002/STVR.1656},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt17c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WanJLGMH17,
author = {Mian Wan and
Yuchen Jin and
Ding Li and
Jiaping Gui and
Sonal Mahajan and
William G. J. Halfond},
title = {Detecting display energy hotspots in Android apps},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {6},
year = {2017},
url = {https://doi.org/10.1002/stvr.1635},
doi = {10.1002/STVR.1635},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/WanJLGMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/WiklundESL17,
author = {Kristian Wiklund and
Sigrid Eldh and
Daniel Sundmark and
Kristina Lundqvist},
title = {Impediments for software test automation: {A} systematic literature
review},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {8},
year = {2017},
url = {https://doi.org/10.1002/stvr.1639},
doi = {10.1002/STVR.1639},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/WiklundESL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/YuSR17,
author = {Tingting Yu and
Witty Srisa{-}an and
Gregg Rothermel},
title = {An automated framework to support testing for process-level race conditions},
journal = {Softw. Test. Verification Reliab.},
volume = {27},
number = {4-5},
year = {2017},
url = {https://doi.org/10.1002/stvr.1634},
doi = {10.1002/STVR.1634},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/YuSR17.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-09-18 14:47 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:
