样式: 排序: IF: - GO 导出 标记为已读
-
A new perspective on the competent programmer hypothesis through the reproduction of real faults with repeated mutations Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2024-02-29 Zaheed Ahmed, Eike Schwass, Steffen Herbold, Fabian Trautsch, Jens Grabowski
-
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2024-03-02 Yan Dong, Zhicong Zhang, Mohan Cui, Hui Xu
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2024-02-15
No abstract is available for this article.
-
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2024-02-13 Yves Le Traon, Tao Xie
In this edition, we present two papers that offer significant contributions related to fuzz testing on one hand and vulnerability detection on the other hand, respectively, delving into directed greybox fuzzing (DGF) and tensor-based gated graph neural networks for automatic vulnerability detection in source code. The first paper, ‘Greybox fuzzing, a scalable and practical approach for software testing’
-
Investigating the impact of transient hardware faults on deep learning neural network inference Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2024-02-01 Md Hasanur Rahman, Sabuj Laskar, Guanpeng Li
-
Delta4Ms: Improving mutation-based fault localization by eliminating mutant bias Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2024-01-16 Hengyuan Liu, Zheng Li, Baolong Han, Yangtao Liu, Xiang Chen, Yong Liu
-
Towards automatically identifying the co-change of production and test code Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2024-01-11 Yuan Huang, Zhicao Tang, Xiangping Chen, Xiaocong Zhou
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-12-21
No abstract is available for this article.
-
The progress, challenges, and perspectives of directed greybox fuzzing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-12-14 Pengfei Wang, Xu Zhou, Tai Yue, Peihong Lin, Yingying Liu, Kai Lu
-
Test case prioritization and mutation testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-12-14 Yves Le Traon, Tao Xie
In this issue, we are pleased to present two papers on test case prioritization and mutation testing, respectively. The first paper, ‘Semantic-aware two-phase test case prioritization for continuous integration’ by Yingling Li, Ziao Wang, Junjie Wang, Jie Chen, Rui Mou, and Guibing Li, presents the SatTCP framework to conduct precise prioritization with low time overhead, in order to improve the cost
-
Tensor-based gated graph neural network for automatic vulnerability detection in source code Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-11-27 Jia Yang, Ou Ruan, JiXin Zhang
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-11-17
No abstract is available for this article.
-
Model-based testing, test case prioritization and testing of virtual reality applications Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-11-13 Yves Le Traon, Tao Xie
In this issue, we are pleased to present three papers on model-based testing, test case prioritization and testing of virtual reality applications. The first paper, ‘On transforming model-based tests into code: A systematic literature review’ by Fabiano C. Ferrari, Vinicius H. S. Durelli, Sten F. Andler, Jeff Offutt, Mehrdad Saadatmand and Nils Müllner, presents a systematic literature review based
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-10-24
No abstract is available for this article.
-
In vivo testing and integration of proving and testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-10-18 Yves Le Traon, Tao Xie
In this issue, we are pleased to present two papers, one for in vivo testing and the other for integration of proving and testing. The first paper, ‘In vivo test and rollback of Java applications as they are’ by Antonia Bertolino, Guglielmo De Angelis, Breno Miranda and Paolo Tonella, presents the Groucho approach for in vivo testing, a specific kind of field software testing where testing activities
-
Mutation testing optimisations using the Clang front-end Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-10-17 Sten Vercammen, Serge Demeyer, Markus Borg, Niklas Pettersson, Görel Hedin
-
Semantic-aware two-phase test case prioritization for continuous integration Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-09-26 Yingling Li, Ziao Wang, Junjie Wang, Jie Chen, Rui Mou, Guibing Li
-
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-09-19 Stevão Alves de Andrade, Fatima L. S. Nunes, Márcio Eduardo Delamaro
-
On transforming model-based tests into code: A systematic literature review Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-09-07 Fabiano C. Ferrari, Vinicius H. S. Durelli, Sten F. Andler, Jeff Offutt, Mehrdad Saadatmand, Nils Müllner
-
Research on hyper-level of hyper-heuristic framework for MOTCP Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-09-03 Junxia Guo, Rui Wang, Jinjin Han, Zheng Li
-
A failed proof can yield a useful test Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-08-31 Li Huang, Bertrand Meyer
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-08-29
No abstract is available for this article.
-
Deep neural network supervision and data flow testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-08-24 Yves Le Traon, Tao Xie
In this issue as a special issue of ICST 2021, we are pleased to present two papers, one for supervision of deep neural network and the other for data flow testing. The first paper, “Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines” by Michael Weiss and Paolo Tonella, presents an overview of main approaches to uncertainty estimation for supervision of
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-07-18
No abstract is available for this article.
-
Quality assurance for Internet of Things and speech recognition systems Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-07-16 Yves Le Traon, Tao Xie
In this issue, we are pleased to present two papers: one for risk assessment for an industrial Internet of Things and the other for testing speech recognition systems. The first paper, ‘HiRAM: A Hierarchical Risk Assessment Model and Its Implementation for an Industrial Internet of Things in the Cloud’ by Wen-Lin Sun, Ying-Han Tang and Yu-Lun Huang, proposes Hierarchical Risk Assessment Model (HiRAM)
-
In vivo test and rollback of Java applications as they are Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-06-25 Antonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella
-
Adversarial example-based test case generation for black-box speech recognition systems Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-05-25 Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan
-
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-05-18 Wen-Lin Sun, Ying-Han Tang, Yu-Lun Huang
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-05-15
No abstract is available for this article.
-
Combinatorial testing and machine learning for automated test generation Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-05-10 Yves Le Traon, Tao Xie
In this issue, we are pleased to present two papers that showcase innovative techniques in software testing in two different directions (memory-aware combinatorial test generation and survey about the use of machine learning for automated test generation). The first paper, ‘An investigation of distributed computing for combinatorial testing’ by Edmond La Chance and Sylvain Hallé, proposes the use of
-
The integration of machine learning into automated test generation: A systematic mapping study Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-05-02 Afonso Fontes, Gregory Gay
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-04-14
No abstract is available for this article.
-
Test infrastructure and environment Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-04-11 Yves Le Traon, Tao Xie
This issue contains two papers. These papers focus on test infrastructure and testing environment, respectively. Falling into the category of Software Note, the first paper, “JUGE: An infrastructure for benchmarking Java unit test generators” by Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Kifetew, Annibale Panichella and Sebastiano Panichella, presents JUnit Generation Benchmarking
-
On subsumption relationships in data flow testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-03-21 Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo
-
An investigation of distributed computing for combinatorial testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-02-27 Edmond La Chance, Sylvain Hallé
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-02-16
No abstract is available for this article.
-
Model-based testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-02-13 Yves Le Traon, Tao Xie
This issue contains two papers. Both papers focus on model-based testing. The first paper, “RATE: A Model-Based Testing Approach That Combines Model Refinement and Test Execution” by Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, and Feng Duan, presents the RATE approach and its application to three case studies. The RATE approach helps testers verify the compliance of the actual implementation
-
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-01-20 Michael Weiss, Paolo Tonella
-
Test environments for large-scale software systems—An industrial study of intrinsic and extrinsic success factors Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2023-01-03 Torvald Mårtensson, Göran Ancher, Daniel Ståhl
-
Coloured Petri nets for abstract test generation in software engineering Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-12-20 Álvaro Sobrinho, Ially Almeida, Leandro Dias da Silva, Lenardo Chaves e Silva, Adriano Araújo, Tássio Fernandes Costa, Angelo Perkusich
-
JUGE: An infrastructure for benchmarking Java unit test generators Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-12-20 Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Kifetew, Annibale Panichella, Sebastiano Panichella
-
RATE: A model-based testing approach that combines model refinement and test execution Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-12-18 Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-12-14
No abstract is available for this article.
-
Fuzz testing for digital TV receivers and multitasking control software verification Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-12-07 Yves Le Traon, Tao Xie
This issue contains two very different papers, in terms of subjects and proposed test and verification techniques. The first paper focuses on testing the robustness of digital TV (DTV) receivers through (non)compliance fuzz testing. The second one focuses on a model-based approach to enable the verification of multitasking control software, proposing an OS-in-the-Loop (OiL) verification framework.
-
OS-in-the-Loop verification for multi-tasking control software Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-11-17 Yunja Choi
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-11-09
No abstract is available for this article.
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-10-04
No abstract is available for this article.
-
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-10-02 Fabricio Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-08-15
No abstract is available for this article.
-
Combinatorial testing and model checking Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-08-10 Yves Le Traon, Tao Xie
This issue contains two papers. The first paper focuses on combinatorial testing, and the second one focuses on model checking. The first paper, ‘Combinatorial methods for dynamic grey-box SQL injection testing’ by Bernhard Garn, Jovan Zivanovic, Manuel Leithner and Dimitris E. Simos, concerns combinatorial testing for SQL injection. Code injections attacks, and in particular SQL injection (SQLi) attacks
-
Mutation analysis and its industrial applications Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-08-08 Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis
We are pleased to introduce the first part of the special issue on Mutation Testing of the Journal of Software Testing, Verification & Reliability. The issue features three papers selected by a review board of 40 mutation testing experts. Our board was selected from an extensive pool of experts comprising of reviewers from the Mutation workshop series, authors of published manuscripts in established
-
Mutation analysis and its industrial applications Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-08-05 Rahul Gopinath, Jie M. Zhang, Marinos Kintis, Mike Papadakis
We are pleased to introduce the second part of the special issue on Mutation Testing of the Journal of Software Testing, Verification & Reliability. The issue features the following four papers: HOTFUZ: cost-effective higher-order mutation-based fault localization by Jong-In Jang, Duksan Ryu, and Jongmoon Baik which proposes HOTFUZ, a novel cost-effective tool for reducing the cost of mutation-based
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-07-21
No abstract is available for this article.
-
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020) Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-07-18 Corina Păsăreanu, Andreas Zeller
This special issue contains articles which are extended versions of some of the best papers presented at the IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). ICST is intended as a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the
-
Comprehensive evaluation of file systems robustness with SPIN model checking Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-07-20 Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
-
Combinatorial methods for dynamic gray-box SQL injection testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-07-04 Bernhard Garn, Jovan Zivanovic, Manuel Leithner, Dimitris E. Simos
-
Fostering the diversity of exploratory testing in web applications Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-06-19 Julien Leveau, Xavier Blanc, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy
-
Issue Information Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-05-15
No abstract is available for this article.
-
Farewell after an 11-year journey as joint editor-in-chief Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-05-10 Robert M. Hierons
This is my last (regular) editorial for STVR. This has been a long association that started when I was contacted by Jeff Offutt in 2011. I was surprised and delighted when Jeff invited me to become joint editor-in-chief. Naturally, I accepted the invitation without hesitation. I have always valued STVR, as a reader and author, and it has been an honour to be involved in this capacity. However, I believe
-
Integration testing and metamorphic testing Softw. Test. Verif. Reliab. (IF 1.5) Pub Date : 2022-05-09 Yves Le Traon, Tao Xie
This issue contains two papers. The first paper focuses on integration testing and the second one focuses on metamorphic testing. The first paper, ‘Towards using coupling measures to guide black-box integration testing in component-based systems’ by Dominik Hellhake, Justus Bogner, Tobias Schmid and Stefan Wagner, concerns integration testing in component-based systems. The authors investigate the