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/stvr25.bht:"
download as .bib file
@article{DBLP:journals/stvr/AichernigBJKST15,
author = {Bernhard K. Aichernig and
Harald Brandl and
Elisabeth J{\"{o}}bstl and
Willibald Krenn and
Rupert Schlick and
Stefan Tiran},
title = {Killing strategies for model-based mutation testing},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {8},
pages = {716--748},
year = {2015},
url = {https://doi.org/10.1002/stvr.1522},
doi = {10.1002/STVR.1522},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AichernigBJKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AlbertAFGGPR15,
author = {Elvira Albert and
Puri Arenas and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Object-sensitive cost analysis for concurrent objects},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {218--271},
year = {2015},
url = {https://doi.org/10.1002/stvr.1569},
doi = {10.1002/STVR.1569},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/AlbertAFGGPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AranegaMEDBD15,
author = {Vincent Aranega and
Jean{-}Marie Mottu and
Anne Etien and
Thomas Degueule and
Benoit Baudry and
Jean{-}Luc Dekeyser},
title = {Towards an automation of the mutation analysis dedicated to model
transformation},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {653--683},
year = {2015},
url = {https://doi.org/10.1002/stvr.1532},
doi = {10.1002/STVR.1532},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AranegaMEDBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ArcainiGR15,
author = {Paolo Arcaini and
Angelo Gargantini and
Elvinia Riccobene},
title = {Using mutation to assess fault detection capability of model review},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {629--652},
year = {2015},
url = {https://doi.org/10.1002/stvr.1530},
doi = {10.1002/STVR.1530},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ArcainiGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BaudryO15,
author = {Benoit Baudry and
Alessandro Orso},
title = {Special issue for the {ICST} 2013 conference},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {4},
pages = {333},
year = {2015},
url = {https://doi.org/10.1002/stvr.1578},
doi = {10.1002/STVR.1578},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BaudryO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BruckerBW15,
author = {Achim D. Brucker and
Lukas Br{\"{u}}gger and
Burkhart Wolff},
title = {Formal firewall conformance testing: an application of test and proof
techniques},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {1},
pages = {34--71},
year = {2015},
url = {https://doi.org/10.1002/stvr.1544},
doi = {10.1002/STVR.1544},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BruckerBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CanforaLPOPP15,
author = {Gerardo Canfora and
Andrea De Lucia and
Massimiliano Di Penta and
Rocco Oliveto and
Annibale Panichella and
Sebastiano Panichella},
title = {Defect prediction as a multiobjective optimization problem},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {4},
pages = {426--459},
year = {2015},
url = {https://doi.org/10.1002/stvr.1570},
doi = {10.1002/STVR.1570},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/CanforaLPOPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/DadeauHKMR15,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Pierre{-}Cyrille H{\'{e}}am and
Rafik Kheddam and
Ghazi Maatoug and
Micha{\"{e}}l Rusinowitch},
title = {Model-based mutation testing from security protocols in {HLPSL}},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {684--711},
year = {2015},
url = {https://doi.org/10.1002/stvr.1531},
doi = {10.1002/STVR.1531},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/DadeauHKMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Estero-BotaroPM15,
author = {Antonia Estero{-}Botaro and
Francisco Palomo{-}Lozano and
Inmaculada Medina{-}Bulo and
Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez},
title = {Quality metrics for mutation testing with applications to {WS-BPEL}
compositions},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {536--571},
year = {2015},
url = {https://doi.org/10.1002/stvr.1528},
doi = {10.1002/STVR.1528},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Estero-BotaroPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FarchiHL15,
author = {Eitan Farchi and
Robert M. Hierons and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Special issue on testing, analysis and debugging of concurrent programs},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {165--166},
year = {2015},
url = {https://doi.org/10.1002/stvr.1577},
doi = {10.1002/STVR.1577},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FarchiHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FarjoAM15,
author = {Joan Farjo and
Rawad Abou Assi and
Wes Masri},
title = {Reducing execution profiles: techniques and benefits},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {2},
pages = {115--137},
year = {2015},
url = {https://doi.org/10.1002/stvr.1563},
doi = {10.1002/STVR.1563},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FarjoAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FiedorHKLUV15,
author = {Jan Fiedor and
Vendula Hrub{\'{a}} and
Bohuslav Krena and
Zdenek Letko and
Shmuel Ur and
Tom{\'{a}}s Vojnar},
title = {Advances in noise-based testing of concurrent software},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {272--309},
year = {2015},
url = {https://doi.org/10.1002/stvr.1546},
doi = {10.1002/STVR.1546},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FiedorHKLUV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/FraserW15,
author = {Gordon Fraser and
Neil Walkinshaw},
title = {Assessing and generating test sets in terms of behavioural adequacy},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {8},
pages = {749--780},
year = {2015},
url = {https://doi.org/10.1002/stvr.1575},
doi = {10.1002/STVR.1575},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/FraserW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GrooteKO15,
author = {Jan Friso Groote and
Tim W. D. M. Kouters and
Ammar Osaiweran},
title = {Specification guidelines to avoid the state space explosion problem},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {1},
pages = {4--33},
year = {2015},
url = {https://doi.org/10.1002/stvr.1536},
doi = {10.1002/STVR.1536},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GrooteKO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HongK15,
author = {Shin Hong and
Moonzoo Kim},
title = {A survey of race bug detection techniques for multithreaded programmes},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {191--217},
year = {2015},
url = {https://doi.org/10.1002/stvr.1564},
doi = {10.1002/STVR.1564},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HongK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HongSAKR15,
author = {Shin Hong and
Matt Staats and
Jaemin Ahn and
Moonzoo Kim and
Gregg Rothermel},
title = {Are concurrency coverage metrics effective for testing: a comprehensive
empirical investigation},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {4},
pages = {334--370},
year = {2015},
url = {https://doi.org/10.1002/stvr.1539},
doi = {10.1002/STVR.1539},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HongSAKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/JiaMH15,
author = {Yue Jia and
Mercedes G. Merayo and
Mark Harman},
title = {Introduction to the special issue on Mutation Testing},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {461--463},
year = {2015},
url = {https://doi.org/10.1002/stvr.1582},
doi = {10.1002/STVR.1582},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/JiaMH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/JustS15,
author = {Ren{\'{e}} Just and
Franz Schweiggert},
title = {Higher accuracy and lower run time: efficient mutation analysis using
non-redundant mutation operators},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {490--507},
year = {2015},
url = {https://doi.org/10.1002/stvr.1561},
doi = {10.1002/STVR.1561},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/JustS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KintisPM15,
author = {Marinos Kintis and
Mike Papadakis and
Nicos Malevris},
title = {Employing second-order mutation for isolating first-order equivalent
mutants},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {508--535},
year = {2015},
url = {https://doi.org/10.1002/stvr.1529},
doi = {10.1002/STVR.1529},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KintisPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/LinD15,
author = {Yu Lin and
Danny Dig},
title = {A study and toolkit of {CHECK-THEN-ACT} idioms of Java concurrent
collections},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {4},
pages = {397--425},
year = {2015},
url = {https://doi.org/10.1002/stvr.1567},
doi = {10.1002/STVR.1567},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/LinD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MateoU15,
author = {Pedro Reales Mateo and
Macario Polo Usaola},
title = {Reducing mutation costs through uncovered mutants},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {464--489},
year = {2015},
url = {https://doi.org/10.1002/stvr.1534},
doi = {10.1002/STVR.1534},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/MateoU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/NaminXRS15,
author = {Akbar Siami Namin and
Xiaozhen Xue and
Omar Rosas and
Pankaj Sharma},
title = {MuRanker: a mutant ranking tool},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {572--604},
year = {2015},
url = {https://doi.org/10.1002/stvr.1542},
doi = {10.1002/STVR.1542},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/NaminXRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/NardoABL15,
author = {Daniel Di Nardo and
Nadia Alshahwan and
Lionel C. Briand and
Yvan Labiche},
title = {Coverage-based regression test case selection, minimization and prioritization:
a case study on an industrial system},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {4},
pages = {371--396},
year = {2015},
url = {https://doi.org/10.1002/stvr.1572},
doi = {10.1002/STVR.1572},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/NardoABL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt15,
author = {Jeff Offutt},
title = {Editorial: Plagiarism Is For Losers},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {1},
pages = {1--3},
year = {2015},
url = {https://doi.org/10.1002/stvr.1565},
doi = {10.1002/STVR.1565},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt15a,
author = {Jeff Offutt},
title = {Editorial: Who Is An Author?},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {2},
pages = {73--76},
year = {2015},
url = {https://doi.org/10.1002/stvr.1571},
doi = {10.1002/STVR.1571},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Offutt15b,
author = {Jeff Offutt},
title = {How the web resuscitated evolutionary design},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {8},
pages = {713--715},
year = {2015},
url = {https://doi.org/10.1002/stvr.1595},
doi = {10.1002/STVR.1595},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Offutt15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/PapadakisT15,
author = {Mike Papadakis and
Yves Le Traon},
title = {Metallaxis-FL: mutation-based fault localization},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {5-7},
pages = {605--628},
year = {2015},
url = {https://doi.org/10.1002/stvr.1509},
doi = {10.1002/STVR.1509},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/PapadakisT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ParkVH15,
author = {Sangmin Park and
Richard W. Vuduc and
Mary Jean Harrold},
title = {{UNICORN:} a unified approach for localizing non-deadlock concurrency
bugs},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {167--190},
year = {2015},
url = {https://doi.org/10.1002/stvr.1523},
doi = {10.1002/STVR.1523},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ParkVH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SeguraDSBLC15,
author = {Sergio Segura and
Amador Dur{\'{a}}n and
Ana Bel{\'{e}}n S{\'{a}}nchez and
Daniel Le Berre and
Emmanuel Lonca and
Antonio Ruiz Cort{\'{e}}s},
title = {Automated metamorphic testing of variability analysis tools},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {2},
pages = {138--163},
year = {2015},
url = {https://doi.org/10.1002/stvr.1566},
doi = {10.1002/STVR.1566},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SeguraDSBLC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SouzaSBSZ15,
author = {Simone R. S. Souza and
Paulo S. L. Souza and
Maria A. S. Brito and
Adenilso da Silva Sim{\~{a}}o and
Ed Zaluska},
title = {Empirical evaluation of a new composite approach to the coverage criteria
and reachability testing of concurrent programs},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {310--332},
year = {2015},
url = {https://doi.org/10.1002/stvr.1568},
doi = {10.1002/STVR.1568},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SouzaSBSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/XuKKCR15,
author = {Zhihong Xu and
Yunho Kim and
Moonzoo Kim and
Myra B. Cohen and
Gregg Rothermel},
title = {Directed test suite augmentation: an empirical investigation},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {2},
pages = {77--114},
year = {2015},
url = {https://doi.org/10.1002/stvr.1562},
doi = {10.1002/STVR.1562},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/XuKKCR15.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-20 04:18 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:
