Search dblp for Publications

export results for "toc:db/journals/stvr/stvr33.bht:"

 download as .bib file

@article{DBLP:journals/stvr/AndradeND23,
  author       = {Stev{\~{a}}o Alves de Andrade and
                  F{\'{a}}tima L. S. Nunes and
                  M{\'{a}}rcio Eduardo Delamaro},
  title        = {Exploiting deep reinforcement learning and metamorphic testing to
                  automatically test virtual reality applications},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {8},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1863},
  doi          = {10.1002/STVR.1863},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/AndradeND23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/BertolinoAMT23,
  author       = {Antonia Bertolino and
                  Guglielmo De Angelis and
                  Breno Miranda and
                  Paolo Tonella},
  title        = {In vivo test and rollback of Java applications as they are},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {7},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1857},
  doi          = {10.1002/STVR.1857},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/BertolinoAMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/BombardaBGLD23,
  author       = {Andrea Bombarda and
                  Silvia Bonfanti and
                  Angelo Gargantini and
                  Yu Lei and
                  Feng Duan},
  title        = {{RATE:} {A} model-based testing approach that combines model refinement
                  and test execution},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1835},
  doi          = {10.1002/STVR.1835},
  timestamp    = {Sat, 11 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/BombardaBGLD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/CaiZDGJY23,
  author       = {Hanbo Cai and
                  Pengcheng Zhang and
                  Hai Dong and
                  Lars Grunske and
                  Shunhui Ji and
                  Tianhao Yuan},
  title        = {Adversarial example-based test case generation for black-box speech
                  recognition systems},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {5},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1848},
  doi          = {10.1002/STVR.1848},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/CaiZDGJY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/ChaimBONA23,
  author       = {Marcos Lordello Chaim and
                  Kesina Baral and
                  Jeff Offutt and
                  Mario Concilio Neto and
                  Roberto Paulo Andrioli de Araujo},
  title        = {On subsumption relationships in data flow testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {6},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1843},
  doi          = {10.1002/STVR.1843},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/ChaimBONA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/ChanceH23,
  author       = {Edmond La Chance and
                  Sylvain Hall{\'{e}}},
  title        = {An investigation of distributed computing for combinatorial testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1842},
  doi          = {10.1002/STVR.1842},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/ChanceH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/Choi23,
  author       = {Yunja Choi},
  title        = {OS-in-the-Loop verification for multi-tasking control software},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1834},
  doi          = {10.1002/STVR.1834},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/Choi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/DevroeyGGJKPP23,
  author       = {Xavier Devroey and
                  Alessio Gambi and
                  Juan Pablo Galeotti and
                  Ren{\'{e}} Just and
                  Fitsum Meshesha Kifetew and
                  Annibale Panichella and
                  Sebastiano Panichella},
  title        = {{JUGE:} An infrastructure for benchmarking Java unit test generators},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {3},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1838},
  doi          = {10.1002/STVR.1838},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/DevroeyGGJKPP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/FerrariDAOSM23,
  author       = {Fabiano Cutigi Ferrari and
                  Vinicius H. S. Durelli and
                  Sten F. Andler and
                  Jeff Offutt and
                  Mehrdad Saadatmand and
                  Nils M{\"{u}}llner},
  title        = {On transforming model-based tests into code: {A} systematic literature
                  review},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {8},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1860},
  doi          = {10.1002/STVR.1860},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/FerrariDAOSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/FontesG23,
  author       = {Afonso Fontes and
                  Gregory Gay},
  title        = {The integration of machine learning into automated test generation:
                  {A} systematic mapping study},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1845},
  doi          = {10.1002/STVR.1845},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/FontesG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/GuoWHL23,
  author       = {Junxia Guo and
                  Rui Wang and
                  Jinjin Han and
                  Zheng Li},
  title        = {Research on hyper-level of hyper-heuristic framework for {MOTCP}},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {8},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1861},
  doi          = {10.1002/STVR.1861},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/GuoWHL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/HuangM23,
  author       = {Li Huang and
                  Bertrand Meyer},
  title        = {A failed proof can yield a useful test},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {7},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1859},
  doi          = {10.1002/STVR.1859},
  timestamp    = {Fri, 17 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/HuangM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/IzumiFCMFFS23,
  author       = {Fabr{\'{\i}}cio Izumi and
                  Eddie B. de Lima Filho and
                  Lucas C. Cordeiro and
                  Orlewilson B. Maia and
                  R{\^{o}}mulo Fabr{\'{\i}}cio and
                  Bruno Farias and
                  Aguinaldo Silva},
  title        = {A fuzzing-based test-creation approach for evaluating digital {TV}
                  receivers via transport streams},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1833},
  doi          = {10.1002/STVR.1833},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/IzumiFCMFFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/MartenssonAS23,
  author       = {Torvald M{\aa}rtensson and
                  G{\"{o}}ran Ancher and
                  Daniel St{\aa}hl},
  title        = {Test environments for large-scale software systems - An industrial
                  study of intrinsic and extrinsic success factors},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {3},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1839},
  doi          = {10.1002/STVR.1839},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/MartenssonAS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/SobrinhoASSACP23,
  author       = {Alvaro Sobrinho and
                  Ially Almeida and
                  Leandro Dias da Silva and
                  Lenardo Chaves e Silva and
                  Adriano Ara{\'{u}}jo and
                  T{\'{a}}ssio Fernandes Costa and
                  Angelo Perkusich},
  title        = {Coloured Petri nets for abstract test generation in software engineering},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1837},
  doi          = {10.1002/STVR.1837},
  timestamp    = {Sat, 11 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/SobrinhoASSACP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/SunTH23,
  author       = {Wen{-}Lin Sun and
                  Ying{-}Han Tang and
                  Yu{-}Lun Huang},
  title        = {HiRAM: {A} hierarchical risk assessment model and its implementation
                  for an industrial Internet of Things in the cloud},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {5},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1847},
  doi          = {10.1002/STVR.1847},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/SunTH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {Fuzz testing for digital {TV} receivers and multitasking control software
                  verification},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1836},
  doi          = {10.1002/STVR.1836},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23a,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {Model-based testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {2},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1841},
  doi          = {10.1002/STVR.1841},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23b,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {Test infrastructure and environment},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {3},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1844},
  doi          = {10.1002/STVR.1844},
  timestamp    = {Tue, 13 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23c,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {Combinatorial testing and machine learning for automated test generation},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1846},
  doi          = {10.1002/STVR.1846},
  timestamp    = {Tue, 13 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23d,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {Quality assurance for Internet of Things and speech recognition systems},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {5},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1858},
  doi          = {10.1002/STVR.1858},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23e,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {Deep neural network supervision and data flow testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {6},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1862},
  doi          = {10.1002/STVR.1862},
  timestamp    = {Fri, 17 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23f,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {In vivo testing and integration of proving and testing},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {7},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1866},
  doi          = {10.1002/STVR.1866},
  timestamp    = {Fri, 17 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/TraonX23g,
  author       = {Yves Le Traon and
                  Tao Xie},
  title        = {Model-based testing, test case prioritization and testing of virtual
                  reality applications},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {8},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1868},
  doi          = {10.1002/STVR.1868},
  timestamp    = {Wed, 20 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/TraonX23g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/WeissT23,
  author       = {Michael Weiss and
                  Paolo Tonella},
  title        = {Uncertainty quantification for deep neural networks: An empirical
                  comparison and usage guidelines},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {33},
  number       = {6},
  year         = {2023},
  url          = {https://doi.org/10.1002/stvr.1840},
  doi          = {10.1002/STVR.1840},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stvr/WeissT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.