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/stvr24.bht:"
download as .bib file
@article{DBLP:journals/stvr/ArcuriB14,
author = {Andrea Arcuri and
Lionel C. Briand},
title = {A Hitchhiker's guide to statistical tests for assessing randomized
algorithms in software engineering},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {3},
pages = {219--250},
year = {2014},
url = {https://doi.org/10.1002/stvr.1486},
doi = {10.1002/STVR.1486},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ArcuriB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AwedikianY14,
author = {Roy Awedikian and
Bernard Yannou},
title = {A practical model-based statistical approach for generating functional
test cases: application in the automotive industry},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {2},
pages = {85--123},
year = {2014},
url = {https://doi.org/10.1002/stvr.1479},
doi = {10.1002/STVR.1479},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AwedikianY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BengoleaAMF14,
author = {Valeria S. Bengolea and
Nazareno Aguirre and
Darko Marinov and
Marcelo F. Frias},
title = {RepOK-based reduction of bounded exhaustive testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {629--655},
year = {2014},
url = {https://doi.org/10.1002/stvr.1547},
doi = {10.1002/STVR.1547},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BengoleaAMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BertolinoL14,
author = {Antonia Bertolino and
Yvan Labiche},
title = {Editorial for the special issue of {STVR} on the 5th {IEEE} International
Conference on Software Testing, Verification, and Validation {(ICST}
2012)},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {5},
pages = {339--340},
year = {2014},
url = {https://doi.org/10.1002/stvr.1541},
doi = {10.1002/STVR.1541},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BertolinoL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BruckerJ14,
author = {Achim D. Brucker and
Jacques Julliand},
title = {Editorial for the special issue of {STVR} on tests and proofs volume
1: tests and proofs in model-based testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {7},
pages = {497--498},
year = {2014},
url = {https://doi.org/10.1002/stvr.1560},
doi = {10.1002/STVR.1560},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BruckerJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BruckerJ14a,
author = {Achim D. Brucker and
Jacques Julliand},
title = {Editorial for the special issue of {STVR} on tests and proofs volume
2: tests and proofs for improving the generation time and quality
of test data suites},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {591--592},
year = {2014},
url = {https://doi.org/10.1002/stvr.1558},
doi = {10.1002/STVR.1558},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BruckerJ14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Bubevski14,
author = {Vojo Bubevski},
title = {A novel approach to software quality risk management},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {2},
pages = {124--154},
year = {2014},
url = {https://doi.org/10.1002/stvr.1488},
doi = {10.1002/STVR.1488},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Bubevski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CantenotAB14,
author = {J{\'{e}}r{\^{o}}me Cantenot and
Fabrice Ambert and
Fabrice Bouquet},
title = {Test generation with Satisfiability Modulo Theories solvers in model-based
testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {7},
pages = {499--531},
year = {2014},
url = {https://doi.org/10.1002/stvr.1537},
doi = {10.1002/STVR.1537},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CantenotAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ChedorJM14,
author = {S{\'{e}}bastien Ch{\'{e}}dor and
Thierry J{\'{e}}ron and
Christophe Morvan},
title = {Test generation from recursive tile systems},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {7},
pages = {532--557},
year = {2014},
url = {https://doi.org/10.1002/stvr.1525},
doi = {10.1002/STVR.1525},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ChedorJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Choi14,
author = {Yunja Choi},
title = {Model checking Trampoline {OS:} a case study on safety analysis for
automotive software},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {1},
pages = {38--60},
year = {2014},
url = {https://doi.org/10.1002/stvr.1482},
doi = {10.1002/STVR.1482},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Choi14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CristiaAFPM14,
author = {Maximiliano Cristi{\'{a}} and
Pablo Albertengo and
Claudia S. Frydman and
Brian Pl{\"{u}}ss and
Pablo Rodr{\'{\i}}guez Monetti},
title = {Tool support for the Test Template Framework},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {1},
pages = {3--37},
year = {2014},
url = {https://doi.org/10.1002/stvr.1477},
doi = {10.1002/STVR.1477},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CristiaAFPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/DoH14,
author = {Hyunsook Do and
Md. Hossain},
title = {An efficient regression testing approach for {PHP} web applications:
a controlled experiment},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {5},
pages = {367--385},
year = {2014},
url = {https://doi.org/10.1002/stvr.1540},
doi = {10.1002/STVR.1540},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/DoH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/DreyfusHKM14,
author = {Alo{\"{\i}}s Dreyfus and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko and
Catherine Masson},
title = {A random testing approach using pushdown automata},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {656--683},
year = {2014},
url = {https://doi.org/10.1002/stvr.1526},
doi = {10.1002/STVR.1526},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/DreyfusHKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GallardoP14,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Laura Panizo},
title = {Extending model checkers for hybrid system verification: the case
study of {SPIN}},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {6},
pages = {438--471},
year = {2014},
url = {https://doi.org/10.1002/stvr.1505},
doi = {10.1002/STVR.1505},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GallardoP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HamillG14,
author = {Maggie Hamill and
Katerina Goseva{-}Popstojanova},
title = {Exploring the missing link: an empirical study of software fixes},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {684--705},
year = {2014},
url = {https://doi.org/10.1002/stvr.1518},
doi = {10.1002/STVR.1518},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HamillG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HeuleHW14,
author = {Marijn Heule and
Warren A. Hunt Jr. and
Nathan Wetzler},
title = {Bridging the gap between easy generation and efficient verification
of unsatisfiability proofs},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {593--607},
year = {2014},
url = {https://doi.org/10.1002/stvr.1549},
doi = {10.1002/STVR.1549},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HeuleHW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HwangLLW14,
author = {Gwan{-}Hwan Hwang and
Che{-}Sheng Lin and
Teng{-}Shuo Lee and
Chi Wu{-}Lee},
title = {A model-free and state-cover testing scheme for semaphore-based and
shared-memory concurrent programs},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {706--737},
year = {2014},
url = {https://doi.org/10.1002/stvr.1520},
doi = {10.1002/STVR.1520},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HwangLLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/JeeSCLB14,
author = {Eunkyoung Jee and
Donghwan Shin and
Sung Deok Cha and
Jang{-}Soo Lee and
Doo{-}Hwan Bae},
title = {Automated test case generation for {FBD} programs implementing reactor
protection system software},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {8},
pages = {608--628},
year = {2014},
url = {https://doi.org/10.1002/stvr.1548},
doi = {10.1002/STVR.1548},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/JeeSCLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KirnerH14,
author = {Raimund Kirner and
Walter Haas},
title = {Optimizing compilation with preservation of structural code coverage
metrics to support software testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {3},
pages = {184--218},
year = {2014},
url = {https://doi.org/10.1002/stvr.1485},
doi = {10.1002/STVR.1485},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/KirnerH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LeonHL14,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Stefan Haar and
Delphine Longuet},
title = {Model-based testing for concurrent systems with labelled event structures},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {7},
pages = {558--590},
year = {2014},
url = {https://doi.org/10.1002/stvr.1543},
doi = {10.1002/STVR.1543},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/LeonHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LuanH14,
author = {Shao{-}Pu Luan and
Chin{-}Yu Huang},
title = {An improved Pareto distribution for modelling the fault data of open
source software},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {6},
pages = {416--437},
year = {2014},
url = {https://doi.org/10.1002/stvr.1504},
doi = {10.1002/STVR.1504},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/LuanH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MahmudCHL14,
author = {Jalal Mahmud and
Allen Cypher and
Eben M. Haber and
Tessa Lau},
title = {Design and industrial evaluation of a tool supporting semi-automated
website testing},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {1},
pages = {61--82},
year = {2014},
url = {https://doi.org/10.1002/stvr.1484},
doi = {10.1002/STVR.1484},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MahmudCHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MalburgF14,
author = {Jan Malburg and
Gordon Fraser},
title = {Search-based testing using constraint-based mutation},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {6},
pages = {472--495},
year = {2014},
url = {https://doi.org/10.1002/stvr.1508},
doi = {10.1002/STVR.1508},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/MalburgF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MarianiPRS14,
author = {Leonardo Mariani and
Mauro Pezz{\`{e}} and
Oliviero Riganelli and
Mauro Santoro},
title = {Automatic testing of GUI-based applications},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {5},
pages = {341--366},
year = {2014},
url = {https://doi.org/10.1002/stvr.1538},
doi = {10.1002/STVR.1538},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MarianiPRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MirzaAghaeiPP14,
author = {Mehdi MirzaAghaei and
Fabrizio Pastore and
Mauro Pezz{\`{e}}},
title = {Automatic test case evolution},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {5},
pages = {386--411},
year = {2014},
url = {https://doi.org/10.1002/stvr.1527},
doi = {10.1002/STVR.1527},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MirzaAghaeiPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MohalikGYSR14,
author = {Swarup Mohalik and
Ambar A. Gadkari and
Anand Yeolekar and
K. C. Shashidhar and
S. Ramesh},
title = {Automatic test case generation from Simulink/Stateflow models using
model checking},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {2},
pages = {155--180},
year = {2014},
url = {https://doi.org/10.1002/stvr.1489},
doi = {10.1002/STVR.1489},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MohalikGYSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt14,
author = {Jeff Offutt},
title = {Globalization - references and citations},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {1},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1002/stvr.1521},
doi = {10.1002/STVR.1521},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt14a,
author = {Jeff Offutt},
title = {Globalization - standards for research quality},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {2},
pages = {83--84},
year = {2014},
url = {https://doi.org/10.1002/stvr.1524},
doi = {10.1002/STVR.1524},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt14b,
author = {Jeff Offutt},
title = {Globalization-ethics and plagiarism},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {3},
pages = {181--183},
year = {2014},
url = {https://doi.org/10.1002/stvr.1533},
doi = {10.1002/STVR.1533},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt14c,
author = {Jeff Offutt},
title = {Globalization - logical flow, motivation, and assumptions},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {4},
pages = {251--252},
year = {2014},
url = {https://doi.org/10.1002/stvr.1535},
doi = {10.1002/STVR.1535},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt14d,
author = {Jeff Offutt},
title = {Editorial: how to get your paper rejected from {STVR}},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {6},
pages = {413--415},
year = {2014},
url = {https://doi.org/10.1002/stvr.1545},
doi = {10.1002/STVR.1545},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt14d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SampaioNMI14,
author = {Augusto Sampaio and
Sidney C. Nogueira and
Alexandre Mota and
Yoshinao Isobe},
title = {Sound and mechanised compositional verification of input-output conformance},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {4},
pages = {289--319},
year = {2014},
url = {https://doi.org/10.1002/stvr.1498},
doi = {10.1002/STVR.1498},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/SampaioNMI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ShahbazG14,
author = {Muzammil Shahbaz and
Roland Groz},
title = {Analysis and testing of black-box component-based systems by inferring
partial models},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {4},
pages = {253--288},
year = {2014},
url = {https://doi.org/10.1002/stvr.1491},
doi = {10.1002/STVR.1491},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ShahbazG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SrikanthBWO14,
author = {Hema Srikanth and
Sean Banerjee and
Laurie A. Williams and
Jason A. Osborne},
title = {Towards the prioritization of system test cases},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {4},
pages = {320--337},
year = {2014},
url = {https://doi.org/10.1002/stvr.1500},
doi = {10.1002/STVR.1500},
timestamp = {Mon, 07 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SrikanthBWO14.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-11 16:26 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:
