Meng Li’s research while affiliated with University of South China and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (27)


MetBench: A Numerical Expression Metamorphic Relations Benchmark Data Set
  • Conference Paper

November 2024

·

4 Reads

Yin Zhao

·

Meng Li

·

Yongcheng Su

·

[...]

·

Cong Zeng










Citations (7)


... However, our proposed work focuses on prioritizing MRs. Huang et al. [23] propose a method for selecting and prioritizing MRs based on test adequacy criteria. MRs are sorted using branch coverage Manhattan distance (BCMD) and selected based on their ability to improve test coverage. ...

Reference:

Optimizing Metamorphic Testing: Prioritizing Relations Through Execution Profile Dissimilarity
Metamorphic Relations Prioritization And Selection Based on Test Adequacy Criteria
  • Citing Conference Paper
  • December 2022

... Similarly, Ayerdi et al. [3] introduced GenMorph to explore the input-output space, thereby generating complete MRs. In addition, Hong et al. [32,33] proposed a technique to "recognize" MRs by manually setting some input relations and automatically mining follow-up outputs. ...

A Dynamic Recognition Method of Metamorphic Relation Identification
  • Citing Conference Paper
  • August 2022

... Similarly, Ayerdi et al. [3] introduced GenMorph to explore the input-output space, thereby generating complete MRs. In addition, Hong et al. [32,33] proposed a technique to "recognize" MRs by manually setting some input relations and automatically mining follow-up outputs. ...

A Metamorphic Relation Identification Method based on GEP
  • Citing Conference Paper
  • August 2022

... This demonstrates that burnup algorithms can be divided into two categories: analytic and numerical methods [27], which have been verified and validated in several recent studies. For example, Li et al. (2021) [28] alleviated the testing oracle problem using metamorphic techniques for the NUIT code, while Ilas and Hiscox (2021) [29] validated ORIGEN-S integrated into SCALE 6.2.4 and ENDF/B-VII.1 data libraries to analyze the nuclide inventory in pressurized water reactors (PWRs). Alves et al. (2020) [25] calculated the inventories of fission products and source terms to simulate the Argonaut nuclear reactor inside a severe accident using ORIGEN-2. ...

Metamorphic testing of the NUIT code based on burnup time
  • Citing Article
  • April 2021

Annals of Nuclear Energy

... Twenty-eight MRs have been identified from NUIT using the static analysis technique, of which eighteen are physical model MR, and the rest are computational model MR Li et al., 2020a;Li et al., 2020b;Li et al., 2021). Specifically, they are listed as follows. ...

Metamorphic Relations Identification on Chebyshev Rational Approximation Method in the Nuclide Depletion Calculation Program
  • Citing Conference Paper
  • December 2020

... The effectiveness of the metamorphic testing technique has been validated by research applications in different fields [12], [26], [31], [33]. As we all know, metamorphic testing uses unsuccessful test cases to generate follow-up test cases [5]. ...

Research of Testing for Scientific Computing Software in the Area of Nuclear Power Based on Metamorphic Testing
  • Citing Conference Paper
  • January 2017