Works matching IS 09600833 AND DT 2025 AND VI 35 AND IP 1

Results: 13

Metamorphic Testing on Scientific Programs for Solving Second‐Order Elliptic Differential Equations.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1912

By:

Yan, Shiyu;
Zhu, Hong

Publication type:

Article

SegTest: Metamorphic Testing of Image Segmentation via Guided Instance‐Level Test Data Augmentation.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1910

By:

Hou, Zhonghao;
Wang, Xingya;
Zhang, Shijie;
Chen, Zhenyu

Publication type:

Article

MRGS‐ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1908

By:

Ying, Zhihao;
Towey, Dave;
Graham Bellotti, Anthony;
Quan Zhou, Zhi

Publication type:

Article

MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1907

By:

Cuartas, Jaime;
Cortés, David;
Betancourt, Joan;
Aranda, Jesús;
Cordy, Maxime;
Ortiz, James;
Perrouin, Gilles;
Schobbens, Pierre‐Yves

Publication type:

Article

Search‐Based MC/DC Test Data Generation With OCL Constraints.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1906

By:

Sartaj, Hassan;
Zohaib Iqbal, Muhammad;
Ahmed Jilani, Atif Aftab;
Uzair Khan, Muhammad

Publication type:

Article

A Systematic Exploration of Mutation‐Based Fault Localization Formulae.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1905

By:

Wang, Bo;
Wei, Jinkang;
Chen, Mingda;
Chen, Chong;
Lin, Youfang;
Zhang, Jie M.

Publication type:

Article

Ensuring the Correctness and Reliability of CBPS System Using Event‐B.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1904

By:

Hussein Toman, Sarah;
Hamel, Lazhar;
Lahouij, Aida;
Hussein Toman, Zinah;
Graiet, Mohamed

Publication type:

Article

Multigranularity Coverage Criteria for Deep Learning Libraries.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1903

By:

Shi, Ying;
Zheng, Zheng;
Yin, Beibei;
Xi, Zhiyu

Publication type:

Article

A Comprehensive Formal Specification of ARINC 653 With Conformity Proof.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1901

By:

Feng, Zhang;
Yongwang, Zhao;
Yang, Liu;
Jun, Sun

Publication type:

Article

MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1899

By:

Chen, Chuyang;
Wang, Huiyan;
Zhang, Lingyu;
Xu, Chang;
Yu, Ping

Publication type:

Article

Mutation‐Guided Metamorphic Testing of Optimality in AI Planning.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1898

By:

Mazouni, Quentin;
Gotlieb, Arnaud;
Spieker, Helge;
Acher, Mathieu;
Combemale, Benoit

Publication type:

Article

DialTest‐EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing.

Published in:

Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1897

By:

Chen, Haibo;
Chen, Jinfu;
Wu, Yucheng;
Cai, Saihua;
Ahmad, Bilal;
Huang, Rubing;
Wang, Shengran;
Zhang, Chi

Publication type:

Article

Issue Information.

Published in:: Software Testing: Verification & Reliability, 2025, v. 35, n. 1, p. 1, doi. 10.1002/stvr.1881
Publication type:: Article