Testing convolutional neural network based deep learning systems: a statistical metamorphic approach.

Faqeer Ur Rehman1, Clemente Izurieta1,2,3

  • 1Gianforte School of Computing, Montana State University, Bozeman, Montana, United States.

PubMed
Summary

Statistical metamorphic testing (SMT) addresses limitations in verifying deep learning models by using statistical methods to validate metamorphic relations, improving fault detection in AI systems.

Related Concept Videos

Survival Tree01:19

Survival Tree

Survival trees are a non-parametric method used in survival analysis to model the relationship between a set of covariates and the time until an event of interest occurs, often referred to as the "time-to-event" or "survival time." This method is particularly useful when dealing with censored data, where the event has not occurred for some individuals by the end of the study period, or when the exact time of the event is unknown.
 Building a Survival Tree
Constructing a...
514
Newton’s Method01:30

Newton’s Method

Newton’s Method is a powerful iterative technique for approximating the roots of real-valued, differentiable functions, particularly when analytical solutions are impractical. This approach is widely used in scientific computing, engineering, and finance, where equations may be too complex for traditional algebraic methods to handle. The method relies on an iterative process that refines an initial estimate using the function’s derivative to approach the true solution progressively.
202
Area Problem01:26

Area Problem

Determining the area of a region with straight edges is straightforward, as geometric formulas for rectangles, triangles, and polygons can be applied directly. However, traditional geometric methods are insufficient when a region has a curved boundary, such as the area under a function.fromThe area problem involves finding a systematic way to measure such regions. One approach to solving this problem is through approximation. Instead of attempting to compute the area exactly at the outset, the...
313
Net Change Theorem01:22

Net Change Theorem

The Net Change Theorem is a fundamental principle in calculus that establishes a direct relationship between a function’s rate of change and its accumulated change over an interval. Mathematically, it states that the definite integral of a function's derivative over a given interval [a,b] yields the net change in the original function:This theorem has significant applications in various real-world scenarios, including physics, economics, and engineering. A particularly useful application...
223
Calculation of Volume of Solids by Integration01:27

Calculation of Volume of Solids by Integration

Volume calculation often begins with simple geometric solids. For example, the volume of a rectangular box is obtained by multiplying the area of its base by its height. This straightforward approach relies on the fact that the cross-sectional area of the box remains constant throughout its length. Many real-world objects, however, do not have uniform cross-sections, and their volumes cannot be determined using elementary geometric formulas.To address this limitation, the Slicing Method...
420