Search 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    = {Sun, 06 Oct 2024 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}
}