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.
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-11-14 21:06 CET 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:
