![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Software Testing, Verification & Reliability, Volume 33
Volume 33, Number 1, January 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
Fuzz testing for digital TV receivers and multitasking control software verification.
RESEARCH ARTICLES
- Fabrício Izumi, Eddie B. de Lima Filho
, Lucas C. Cordeiro
, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva:
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. - Yunja Choi
:
OS-in-the-Loop verification for multi-tasking control software.
Volume 33, Number 2, March 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
Model-based testing.
RESEARCH ARTICLES
- Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini
, Yu Lei
, Feng Duan:
RATE: A model-based testing approach that combines model refinement and test execution. - Alvaro Sobrinho
, Ially Almeida
, Leandro Dias da Silva
, Lenardo Chaves e Silva
, Adriano Araújo
, Tássio Fernandes Costa
, Angelo Perkusich
:
Coloured Petri nets for abstract test generation in software engineering.
Volume 33, Number 3, May 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
Test infrastructure and environment.
SOFTWARE NOTE
- Xavier Devroey
, Alessio Gambi
, Juan Pablo Galeotti
, René Just
, Fitsum Meshesha Kifetew
, Annibale Panichella
, Sebastiano Panichella
:
JUGE: An infrastructure for benchmarking Java unit test generators.
RESEARCH ARTICLES
- Torvald Mårtensson
, Göran Ancher
, Daniel Ståhl
:
Test environments for large-scale software systems - An industrial study of intrinsic and extrinsic success factors.
Volume 33, Number 4, June 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
Combinatorial testing and machine learning for automated test generation.
RESEARCH ARTICLE
- Edmond La Chance, Sylvain Hallé
:
An investigation of distributed computing for combinatorial testing.
SURVEY ARTICLE
- Afonso Fontes, Gregory Gay
:
The integration of machine learning into automated test generation: A systematic mapping study.
Volume 33, Number 5, August 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
Quality assurance for Internet of Things and speech recognition systems.
EXPERIENCE FROM THE FIELD
- Wen-Lin Sun
, Ying-Han Tang, Yu-Lun Huang
:
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud.
RESEARCH ARTICLE
- Hanbo Cai, Pengcheng Zhang, Hai Dong
, Lars Grunske, Shunhui Ji, Tianhao Yuan:
Adversarial example-based test case generation for black-box speech recognition systems.
Volume 33, Number 6, September 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
Deep neural network supervision and data flow testing.
SPECIAL ISSUE PAPERS
- Michael Weiss
, Paolo Tonella
:
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines. - Marcos Lordello Chaim
, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo:
On subsumption relationships in data flow testing.
Volume 33, Number 7, November 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
In vivo testing and integration of proving and testing.
RESEARCH ARTICLES
- Antonia Bertolino
, Guglielmo De Angelis
, Breno Miranda
, Paolo Tonella
:
In vivo test and rollback of Java applications as they are. - Li Huang, Bertrand Meyer:
A failed proof can yield a useful test.
Volume 33, Number 8, December 2023
EDITORIAL
- Yves Le Traon, Tao Xie:
Model-based testing, test case prioritization and testing of virtual reality applications.
SURVEY ARTICLE
- Fabiano Cutigi Ferrari
, Vinicius H. S. Durelli, Sten F. Andler, Jeff Offutt, Mehrdad Saadatmand
, Nils Müllner:
On transforming model-based tests into code: A systematic literature review.
RESEARCH ARTICLES
- Junxia Guo
, Rui Wang, Jinjin Han, Zheng Li
:
Research on hyper-level of hyper-heuristic framework for MOTCP. - Stevão Alves de Andrade
, Fátima L. S. Nunes, Márcio Eduardo Delamaro
:
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications.
![](https://dblp.org/img/cog.dark.24x24.png)
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.