- Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan. Search-Based MC/DC Test Data Generation With OCL Constraints. Softw. Test., Verif. Reliab., 35(1), January 2025.
- Bo Wang 0050, Jinkang Wei, Mingda Chen, Chong Chen, Youfang Lin, Jie M. Zhang. A Systematic Exploration of Mutation-Based Fault Localization Formulae. Softw. Test., Verif. Reliab., 35(1), January 2025.
- Alejandro Roque, Juan P. Sotomayor, Dionny Santiago, Peter J. Clarke. A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry. Softw. Test., Verif. Reliab., 35(2), March 2025.
- Haibo Chen 0005, Jinfu Chen 0001, Yucheng Wu, Saihua Cai, Bilal Ahmad, Rubing Huang, Shengran Wang, Chi Zhang 0046. DialTest-EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing. Softw. Test., Verif. Reliab., 35(1), January 2025.
- 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. Softw. Test., Verif. Reliab., 35(2), March 2025.
- Quentin Mazouni, Arnaud Gotlieb, Helge Spieker, Mathieu Acher, Benoît Combemale. Mutation-Guided Metamorphic Testing of Optimality in AI Planning. Softw. Test., Verif. Reliab., 35(1), January 2025.
- Chuyang Chen, Huiyan Wang 0001, Lingyu Zhang 0005, Chang Xu 0001, Ping Yu 0004. MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. Softw. Test., Verif. Reliab., 35(1), January 2025.
- Zhang Feng, Yongwang Zhao, Liu Yang, Jun Sun 0001. A Comprehensive Formal Specification of ARINC 653 With Conformity Proof. Softw. Test., Verif. Reliab., 35(1), January 2025.
- Jingbo Yang, Wenjun Wu 0001, Jian Ren 0004. DSKIPP: A Prompt Method to Enhance the Reliability in LLMs for Java API Recommendation Task. Softw. Test., Verif. Reliab., 35(2), March 2025.
- Zhihao Ying, Dave Towey, Anthony Graham Bellotti, Zhi Quan Zhou. MRGS-ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing. Softw. Test., Verif. Reliab., 35(1), January 2025.