| 0 | -- | 0 | Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan. Search-Based MC/DC Test Data Generation With OCL Constraints |
| 0 | -- | 0 | Bo Wang 0050, Jinkang Wei, Mingda Chen, Chong Chen, Youfang Lin, Jie M. Zhang. A Systematic Exploration of Mutation-Based Fault Localization Formulae |
| 0 | -- | 0 | 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 |
| 0 | -- | 0 | Quentin Mazouni, Arnaud Gotlieb, Helge Spieker, Mathieu Acher, Benoît Combemale. Mutation-Guided Metamorphic Testing of Optimality in AI Planning |
| 0 | -- | 0 | Chuyang Chen, Huiyan Wang 0001, Lingyu Zhang 0005, Chang Xu 0001, Ping Yu 0004. MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation |
| 0 | -- | 0 | Zhang Feng, Yongwang Zhao, Liu Yang, Jun Sun 0001. A Comprehensive Formal Specification of ARINC 653 With Conformity Proof |
| 0 | -- | 0 | Zhihao Ying, Dave Towey, Anthony Graham Bellotti, Zhi Quan Zhou. MRGS-ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing |
| 0 | -- | 0 | Zhonghao Hou, Xingya Wang, Shijie Zhang, Zhenyu Chen. SegTest: Metamorphic Testing of Image Segmentation via Guided Instance-Level Test Data Augmentation |
| 0 | -- | 0 | Sarah Hussein Toman, Lazhar Hamel, Aida Lahouij, Zinah Hussein Toman, Mohamed Graiet. Ensuring the Correctness and Reliability of CBPS System Using Event-B |
| 0 | -- | 0 | ShiYu Yan, Hong Zhu 0002. Metamorphic Testing on Scientific Programs for Solving Second-Order Elliptic Differential Equations |
| 0 | -- | 0 | Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz 0001, Gilles Perrouin, Pierre-Yves Schobbens. MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems |
| 0 | -- | 0 | Ying Shi, Zheng Zheng 0001, Beibei Yin, Zhiyu Xi. Multigranularity Coverage Criteria for Deep Learning Libraries |