For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

Software Testing, Verification & Reliability, Volume 35

> Home > Journals > Software Testing, Verification & Reliability

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 35, Number 1, January 2025

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/FengZYS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/FengZYS25
Zhang Feng, Yongwang Zhao, Liu Yang, Jun Sun:
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof.
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/MazouniGSAC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/MazouniGSAC25
Quentin Mazouni, Arnaud Gotlieb, Helge Spieker, Mathieu Acher, Benoît Combemale:
Mutation-Guided Metamorphic Testing of Optimality in AI Planning.

Special Issue Paper

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ChenWZXY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ChenWZXY25
Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu:
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation.

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/TomanHLTG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/TomanHLTG25
Sarah Hussein Toman, Lazhar Hamel, Aida Lahouij, Zinah Hussein Toman, Mohamed Graiet:
Ensuring the Correctness and Reliability of CBPS System Using Event-B.
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/SartajIJK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/SartajIJK25
Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan:
Search-Based MC/DC Test Data Generation With OCL Constraints.
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ShiZYX25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ShiZYX25
Ying Shi, Zheng Zheng, Beibei Yin, Zhiyu Xi:
Multigranularity Coverage Criteria for Deep Learning Libraries.

Special Issue Paper

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/YingTBZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/YingTBZ25
Zhihao Ying, Dave Towey, Anthony Graham Bellotti, Zhi Quan Zhou:
MRGS-ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing.

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HouWZC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HouWZC25
Zhonghao Hou, Xingya Wang, Shijie Zhang, Zhenyu Chen:
SegTest: Metamorphic Testing of Image Segmentation via Guided Instance-Level Test Data Augmentation.

Special Issue Paper

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ChenCWCAHWZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ChenCWCAHWZ25
Haibo Chen, Jinfu Chen, Yucheng Wu, Saihua Cai, Bilal Ahmad, Rubing Huang, Shengran Wang, Chi Zhang:
DialTest-EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing.
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/YanZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/YanZ25
Shiyu Yan, Hong Zhu:
Metamorphic Testing on Scientific Programs for Solving Second-Order Elliptic Differential Equations.

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/WangWCCLZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/WangWCCLZ25
Bo Wang, Jinkang Wei, Mingda Chen, Chong Chen, Youfang Lin, Jie M. Zhang:
A Systematic Exploration of Mutation-Based Fault Localization Formulae.

Special Issue Paper

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/CuartasCBACOPS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/CuartasCBACOPS25
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens:
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems.

Volume 35, Number 2, March 2025

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/YangWR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/YangWR25
Jingbo Yang, Wenjun Wu, Jian Ren:
DSKIPP: A Prompt Method to Enhance the Reliability in LLMs for Java API Recommendation Task.

Survey Article

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ElgendyHM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ElgendyHM25
Islam T. Elgendy, Robert M. Hierons, Phil McMinn:
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity-Based Testing Techniques.

Special Issue Paper

- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ZhaoLYWSYLWS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ZhaoLYWSYLWS25
Yinqin Zhao, Chang Liu, Tao Yu, Long Wang, Xuanqing Shi, Yong Yang, Ying Li, Zhengang Wang, Dongdong Shangguan:
Tracing Service Request Processing in Cloud.

Research Article

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/stvr/SomersWHEIW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/SomersWHEIW25
Richard J. Somers, Neil Walkinshaw, Robert M. Hierons, Jackie Elliott, Ahmed Iqbal, Emma Walkinshaw:
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study.
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/RoqueSSC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/RoqueSSC25
Alejandro Roque, Juan P. Sotomayor, Dionny Santiago, Peter J. Clarke:
A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry.

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.