Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware 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.
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.
last updated on 2024-04-30 20:57 CEST 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:
