Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Dai-Xu Ren

dblp:242/0116 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
0000-0002-4291-2601ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 77% Debugging and program repair · 23%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › metamorphic testing
metamorphic relations
0.912025
Identifying the Failure-Revealing Test Cases in Metamorphic Testing: A Statistical Approach · ACM Trans. Softw. Eng. Methodol. 2025
Software testing
metamorphic testing
0.912025
Identifying the Failure-Revealing Test Cases in Metamorphic Testing: A Statistical Approach · ACM Trans. Softw. Eng. Methodol. 2025
Debugging and program repair
fault localization
0.312025
Identifying the Failure-Revealing Test Cases in Metamorphic Testing: A Statistical Approach · ACM Trans. Softw. Eng. Methodol. 2025
Debugging and program repair › fault localization
spectrum-based fault localization
0.312025
Identifying the Failure-Revealing Test Cases in Metamorphic Testing: A Statistical Approach · ACM Trans. Softw. Eng. Methodol. 2025

Methods — techniques the papers use, named apart from their topics

statistical methods · 0.9spectrum-based techniques · 0.9risk formulas · 0.9
YearPublicationVenuePosition
2026 MC-FSTG: A fine-grained spatio-temporal graph neural network based on multi-scale operating conditions for bearing temperature prediction in high-speed trains
Huixin Tian, Dai-Xu Ren
Expert Syst. Appl.3
2025 Identifying the Failure-Revealing Test Cases in Metamorphic Testing: A Statistical Approach
abstract
Metamorphic testing, thanks to its high failure-detection effectiveness especially in the absence of test oracle, has been widely applied in both the traditional context of software testing and other relevant fields such as fault localization and program repair. Its core element is a set of metamorphic relations, which are the necessary properties of the target algorithm in the form of the relationships among multiple inputs and corresponding expected outputs. When a relation is violated by the outputs of a group of test cases, namely metamorphic group of test cases, that are constructed based on the relation, a failure is said to be revealed. Traditionally, the primary task of software testing is to reveal failures. Therefore, from the perspective of software testing, it may not need to know which test case(s) in the metamorphic group cause the violation and thus the failure. However, such information is definitely helpful for other software engineering activities, such as software debugging. The current literature of metamorphic testing lacks a systematic mechanism of identifying the actual failure-revealing test cases, which hinders its applicability and effectiveness in other relevant fields. In this article, we propose a new technique for the FAILure-revealing Test case Identification in Metamorphic testing, namely FAILTIM. The approach is based on a novel application of statistical methods. More specifically, we leverage and adapt the basic ideas of spectrum-based techniques, which are originally used in fault localization, and propose the utilization of a set of risk formulas to estimate the suspiciousness of each individual test case in metamorphic groups. Failure-revealing test cases are then suggested according to their suspiciousness. A series of experiments have been conducted to evaluate the effectiveness and efficiency of FAILTIM using 9 subject programs and 30 risk formulas. The experimental results showed that the new approach can achieve a high accuracy in identifying the actual failure-revealing test cases in metamorphic testing. Consequently, our study will help boost the applicability and performance of metamorphic testing beyond testing to other software engineering areas. The present work also unfolds a number of research directions for further advancing the theory of metamorphic testing and more broadly, software testing.
Zheng Zheng 0001, Dai-Xu Ren, Huai Liu, Tsong Yueh Chen, Tiancheng Li 0005
ACM Trans. Softw. Eng. Methodol.2